A verified transformation: from polychronous programs to a variant of clocked guarded actions

No abstract is available for this paper.

• Publication year

  2014

• Venue

  Software and Compilers for Embedded Systems

• Publication date

  2014-06-10

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2609248.2609259
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A comparative study of two formal semantics of the SIGNAL language

  2013cited by this paper
• Multi-threaded code generation from Signal program to OpenMP

  2013cited by this paper
• Constructive polychronous systems

  2013cited by this paper
• Embedding Polychrony into Synchrony

  2013cited by this paper
• Formal verification of synchronous data-flow program transformations toward certified compilers

  2013cited by this paper
• Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction

  2013cited by this paper
• Mechanized Semantics for Compiler Verification

  2012cited by this paper
• Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions

  2012influential reference
• Formal Verification of Compiler Transformations on Polychronous Equations

  2012cited by this paper
• Separate Translation of Synchronous Programs to Guarded Actions

  2011cited by this paper
• Integrating system descriptions by clocked guarded actions

  2011influential reference
• Formal Model Driven Software Synthesis for Embedded Systems

  2011cited by this paper
• From design-time concurrency to effective implementation parallelism: The multi-clock reactive case

  2011cited by this paper
• Designing Embedded Systems with the SIGNAL Programming Language - Synchronous, Reactive Specification

  2010cited by this paper
• Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions

  2010cited by this paper
• Translating concurrent action oriented specifications to synchronous guarded actions

  2010cited by this paper
• Machine-Checked Sequencer for Critical Embedded Code Generator

  2009influential reference
• The Synchronous Programming Language Quartz

  2009influential reference
• Toward Static Analysis of SIGNAL Programs using Interval Techniques

  2006cited by this paper
• The Synchronous Hypothesis and Synchronous Languages

  2005cited by this paper
• SHIM: a deterministic model for heterogeneous embedded systems

  2005cited by this paper
• Interactive Theorem Proving and Program Development

  2004cited by this paper
• Concurrency in Synchronous Systems

  2004cited by this paper
• POLYCHRONY for System Design

  2003cited by this paper
• Translation Validation

  1998influential reference
• The ESTEREL language

  1991cited by this paper
• The synchronous data flow programming language LUSTRE

  1991cited by this paper
• Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics

  1991cited by this paper
• Data-flow to Von Neumann : the SIGNAL approach

  1990cited by this paper
• Guarded commands, nondeterminacy and formal derivation of programs

  1975cited by this paper

• Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL

  2019cites this paper
• Chapter 1 Are Synchronous Programs Logic Programs ?

  2018cites this paper
• Are Synchronous Programs Logic Programs?

  2018cites this paper
• Multi-rate System Design Through Integrating Synchronous Components

  2015cites this paper
• Towards a verified compiler prototype for the synchronous language SIGNAL

  2015cites this paper
• Simulation of real-time systems with clock calculus

  2015cites this paper
• Formal Verification of a Synchronous Data- flow Compiler : from Signal to C. (Vérification Formelle d'un Compilateur Synchrone: de Signal vers C)

  2014cites this paper
• Optimized distribution of synchronous programs via a polychronous model

  2014cites this paper
• Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties

  2014cites this paper