scholarly journals Co-inductive axiomatization of a synchronous language

1998 ◽  
pp. 387-399 ◽  
Author(s):  
David Nowak ◽  
Jean -René Beauvais ◽  
Jean -Pierre Talpin
Keyword(s):  
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

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