Models, Algorithms, and Proofs for "Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset"

2019 ◽  
Author(s):  
Timothy Bourke ◽  
Lélio Brun ◽  
Marc Pouzet
Keyword(s):  
Synchronous Language

SOL: A Verifiable Synchronous Language for Reactive Systems

2002 ◽  
Author(s):  
Ramesh Bharadwaj
Keyword(s):  
Reactive Systems ◽  
Synchronous Language

scholarly journals Mechanized semantics and verified compilation for a dataflow synchronous language with reset

2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-29
Author(s):  
Timothy Bourke ◽  
Lélio Brun ◽  
Marc Pouzet
Keyword(s):  
Synchronous Language

A new algorithm for the largest compositionally progressive solution of synchronous language equations

2007 ◽  
Author(s):  
Tiziano Villa ◽  
Svetlana Zharikova ◽  
Nina Yevtushenko ◽  
Robert Brayton ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Language Equations ◽  
Synchronous Language

In-Place Update in a Dataflow Synchronous Language

2016 ◽  
Author(s):  
Ulysse Beaugnon ◽  
Albert Cohen ◽  
Marc Pouzet
Keyword(s):  
Synchronous Language

Equisolvability of series vs. controller's topology in synchronous language equations

2004 ◽  
Author(s):  
N. Yevtushenko ◽  
T. Villa ◽  
R.K. Brayton ◽  
A. Petrenko ◽  
A.L. Sangiovanni-Vincentelli
Keyword(s):  
Language Equations ◽  
Synchronous Language
Sign in / Sign up

Export Citation Format

Share Document