Translation of Tempura specifications to eCST
Abstract
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.
- Publication:
-
International Conference of Numerical Analysis and Applied Mathematics 2015 (ICNAAM 2015)
- Pub Date:
- June 2016
- DOI:
- 10.1063/1.4952028
- Bibcode:
- 2016AIPC.1738x0009S