eCST is an innovative, language-independent intermediate source code representation designed as a basis of approach applied in development of SSQSA framework. This framework provides an infrastructure for consistent static software analysis. Tempura is a formal specification language, while Tempura programs are executable ITL (Interval Temporal Logic) specifications. This paper describes required steps to enable generation of eCST representation of Tempura code which leads to an incorporation of Tempura language in the infrastructure of SSQSA framework. This incorporation serves as a proof of concept that a formal specification language (like Tempura) can be successfully represented with an intermediate language representation (like eCST) that was primarily aimed for representation of “classical” programming languages.

1.
G.
 
O’Regan
,
Introduction to software quality
,
Springer, Heidelberg
,
2014
.
Google Scholar
Crossref
Search ADS
 
2.
B.
 
Moszkowski
,
Executing temporal logic programs
,
Cambridge univeristy press
,
Cambridge, UK
,
1986
.
Google Scholar
 
3.
G.
 
Rakic
,
Z.
 
Budimac
, “
Introducing Enriched Concrete Syntax Trees
”, In
Proc. of the 14th International Multiconference on Information Society (IS), Collaboration, Software And Services In Information Society (CSS)
,
October 10-14, 2011
,
Ljubljana, Slovenia
, Volume A, pp.
211
–
214
,
4.
G.
 
Rakic
,
Z.
 
Budimac
, Z., and
M.
 
Savic
, “
Language independent framework for static code analysis
”. In
Proc. of the Balkan Conference in Informatics 2013, BCI ’13
,
Thessaloniki, Greece
,
September 19-21
,
2013
, pp.
236
–
243
.
Google Scholar
 
5.
J.
 
Kolek
,
G.
 
Rakic
,
M.
 
Savic
, “
Two-dimensional Extensibility of SSQSA Framework
”, In
Proceedings of the 2nd Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications
,
Novi Sad, Serbia
,
September 15-17, 2013
., pp.
35
–
43
6.
T. J.
 
Parr
 and
R. W.
 
Quong
, “
ANTLR: A predicated-LL(k) parser generator
”,
Software: Practice and Experience
 
25
(
7
),
789
–
810
(
1995
).
Google Scholar
 
7.
S. C.
 
Jonson
, “
Yacc: Yet another compiler-compiler
”,
Bell Laboratories
,
Murray Hill, NJ
,
1978
.
Google Scholar
 
8.
T.
 
Parr
 and
K.
 
Fisher
, “
LL(*): the foundation of the ANTLR parser generator
”, In
Proceedings of the the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011
,
San Jose, CA, USA
,
June 4-8, 2011
, ACM, pp.
425
–
436
.
Crossref
Search ADS
 
9.
T.
 
Parr
,
S.
 
Harwell
, and
K.
 
Fisher
, “
Adaptive LL(*) parsing: the power of dynamic analysis
”, In
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014
,
Portland, OR, Usa
,
October 20-24, 2014
, ACM, pp.
579
–
598
Crossref
Search ADS
 
10.
R.
 
Pérez-Castillo
,
I. G. R.
 
De Guzman
, and
M.
 
Piattini
, “
Knowledge Discovery Metamodel-ISO/IEC 19506: A standard to modernize legacy systems
”,
Computer Standards & Interfaces
,
33
(
6
),
519
–
532
(
2011
)..
https://doi.org/10.1016/j.csi.2011.02.007
Google Scholar
Crossref
Search ADS
 
11.
M.
 
Tóth
,
A
 
Páter-Részeg
, and
G.
 
Rakic
, “
Introducing support for Erlang into SSQSA framework
”,
AIP Conference Proceedings
,
1648
,
310012
(
2015
)
https://doi.org/10.1063/1.4912565
Google Scholar
Crossref
Search ADS
 
This content is only available via PDF.
© 2016 Author(s).
2016
Author(s)
You do not currently have access to this content.