Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/4653
Title: | Translation of Tempura specifications to eCST | Authors: | Savić, Mirko Rakić, Goran Budimac, Zoran |
Issue Date: | 8-Jun-2016 | Journal: | AIP Conference Proceedings | Abstract: | © 2016 Author(s). 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. | URI: | https://open.uns.ac.rs/handle/123456789/4653 | ISBN: | 9780735413924 | ISSN: | 0094243X | DOI: | 10.1063/1.4952028 |
Appears in Collections: | PMF Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
2
checked on May 10, 2024
Page view(s)
17
Last Week
5
5
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.