Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/4653
Назив: | Translation of Tempura specifications to eCST | Аутори: | Savić, Mirko Rakić, Goran Budimac, Zoran |
Датум издавања: | 8-јун-2016 | Часопис: | AIP Conference Proceedings | Сажетак: | © 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 |
Налази се у колекцијама: | PMF Publikacije/Publications |
Приказати целокупан запис ставки
SCOPUSTM
Навођења
2
проверено 10.05.2024.
Преглед/и станица
17
Протекла недеља
5
5
Протекли месец
0
0
проверено 10.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.