Skip to Main content Skip to Navigation
Conference papers

Algebraic Framework for Synchronous Language Semantics

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-00841559
Contributor : Annie Ressouche <>
Submitted on : Friday, July 5, 2013 - 10:40:51 AM
Last modification on : Monday, October 12, 2020 - 10:27:28 AM
Long-term archiving on: : Sunday, October 6, 2013 - 4:13:08 AM

File

TASE_Draft.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00841559, version 1

Collections

Citation

Daniel Gaffé, Annie Ressouche. Algebraic Framework for Synchronous Language Semantics. Theoritical Aspects of Software Engineering, Hai Wang and Richard Banach, Jul 2013, Birmingham, United Kingdom. pp.51-58. ⟨hal-00841559⟩

Share

Metrics

Record views

465

Files downloads

430