DocumentCode :
3021660
Title :
Algebraic Framework for Synchronous Language Semantics
Author :
Gaffe, Daniel ; Ressouche, Annie
Author_Institution :
Inria-sam & LEAT, Sophia Antipolis Univ., Sophia Antipolis, France
fYear :
2013
fDate :
1-3 July 2013
Firstpage :
51
Lastpage :
58
Abstract :
In this article, we study several relevant algebraic frameworks to define synchronous language semantics. Synchronous languages are quite dedicated to design critical embedded applications. Thus, verification and compilation is challenging and should rely on mathematical semantics. We study multi-valued algebras as foundation for semantics definition and we show that a 4-valued algebra with a bilattice structure is well suited to our concern. With this approach we can define semantics offering both the generation of models where verification techniques apply, and separated compilation means.
Keywords :
algebra; embedded systems; program compilers; program verification; 4-valued algebra; algebraic framework; bilattice structure; compilation; critical embedded application; mathematical semantics; multivalued algebras; semantics definition; synchronous language semantics; verification technique; Boolean algebra; Coherence; Equations; Lattices; Semantics; Synchronization; Boolean algebra; multi-valued algebras; synchronous languages; synchrony paradigm;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on
Conference_Location :
Birmingham
Type :
conf
DOI :
10.1109/TASE.2013.15
Filename :
6597877
Link To Document :
بازگشت