Syntax-driven optimisations for reachable state space construction of ESTEREL programs

ISSN： 1741-1068

Source： International Journal of Embedded Systems, Vol.2, Iss.3-4, 2007-08, pp. : 228-238

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

An axiomatic semantics for Esterel

By Tini S.

Theoretical Computer Science, Vol. 269, Iss. 1, 2001-10 ,pp. : 231-282

Elsevier

Access to resources Recommend Favorite

Model-driven analysis and synthesis of textual concrete syntax

By Muller Pierre-Alain

Software and Systems Modeling (SoSyM), Vol. 7, Iss. 4, 2008-10 ,pp. : 423-441

Springer Publishing Company

Access to resources Recommend Favorite

Nesting in Euler Diagrams: syntax, semantics and construction

By Flower Jean Howse John Taylor John

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 1, 2004-03 ,pp. : 55-67

Springer Publishing Company

Access to resources Recommend Favorite

Combining programs and state machines

By Bergstra J.A. Ponse A.

Journal of Logic and Algebraic Programming, Vol. 51, Iss. 2, 2002-06 ,pp. : 175-192

Elsevier

Access to resources Recommend Favorite

On Data Distributions in the Construction of Parallel Programs

By Niculescu Virginia

The Journal of Supercomputing, Vol. 29, Iss. 1, 2004-07 ,pp. : 5-25

Springer Publishing Company

Access to resources Recommend Favorite