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

SOL: A Verifiable Synchronous Language for Reactive Systems

10.21236/ada465328 ◽

2002 ◽

Cited By ~ 2

Author(s):

Ramesh Bharadwaj

Keyword(s):

Reactive Systems ◽

Synchronous Language

Download Full-text

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

Proceedings of the ACM on Programming Languages ◽

10.1145/3371112 ◽

2020 ◽

Vol 4 (POPL) ◽

pp. 1-29

Author(s):

Timothy Bourke ◽

Lélio Brun ◽

Marc Pouzet

Keyword(s):

Synchronous Language

Download Full-text

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

Proceedings of the 17th great lakes symposium on Great lakes symposium on VLSI - GLSVLSI '07 ◽

10.1145/1228784.1228888 ◽

2007 ◽

Author(s):

Tiziano Villa ◽

Svetlana Zharikova ◽

Nina Yevtushenko ◽

Robert Brayton ◽

Alberto Sangiovanni-Vincentelli

Keyword(s):

Language Equations ◽

Synchronous Language

Download Full-text

In-Place Update in a Dataflow Synchronous Language

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems - SCOPES '16 ◽

10.1145/2906363.2906379 ◽

2016 ◽

Author(s):

Ulysse Beaugnon ◽

Albert Cohen ◽

Marc Pouzet

Keyword(s):

Synchronous Language

Download Full-text

A timing model for synchronous language implementations in simulink

Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 ◽

10.1145/1176887.1176901 ◽

2006 ◽

Cited By ~ 2

Author(s):

Timothy Bourke ◽

Arcot Sowmya

Keyword(s):

Timing Model ◽

Synchronous Language

Download Full-text

Elevate embedded real-time programming with a synchronous language

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3131363 ◽

2017 ◽

Author(s):

Franz-Josef Grosch

Keyword(s):

Real Time ◽

Synchronous Language

Download Full-text

Preparatory study for the design of a desktop videoconferencing platform for synchronous language teaching

Computer Assisted Language Learning ◽

10.1080/09588221003666255 ◽

2010 ◽

Vol 23 (2) ◽

pp. 169-182 ◽

Cited By ~ 27

Author(s):

Nicolas Guichon

Keyword(s):

Language Teaching ◽

Desktop Videoconferencing ◽

Synchronous Language

Download Full-text

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

2003 Design, Automation and Test in Europe Conference and Exhibition ◽

10.1109/date.2003.1253778 ◽

2004 ◽

Cited By ~ 1

Author(s):

N. Yevtushenko ◽

T. Villa ◽

R.K. Brayton ◽

A. Petrenko ◽

A.L. Sangiovanni-Vincentelli

Keyword(s):

Language Equations ◽

Synchronous Language

Download Full-text

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre

2010 22nd Euromicro Conference on Real-Time Systems ◽

10.1109/ecrts.2010.11 ◽

2010 ◽

Cited By ~ 3

Author(s):

Karine Altisen ◽

Matthieu Moy

Keyword(s):

Real Time ◽

Abstract Interpretation ◽

Smt Solving ◽

Synchronous Language

Download Full-text

Controlling real-time asynchronous tasks with ESTEREL synchronous language

Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 ◽

10.1145/197917.198162 ◽

1994 ◽

Cited By ~ 2

Author(s):

M. Adelantado ◽

F. Boniol

Keyword(s):

Real Time ◽

Synchronous Language

Download Full-text