Cargando…

Compiling Esterel

Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Potop-Butucaru, Dumitru (Autor), Edwards, Stephen A. (Autor), Berry, Gerard (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • The Esterel Language
  • to Esterel
  • The Esterel Language
  • Formal Semantics
  • to Esterel Semantics
  • Constructive Behavioral Semantics
  • Constructive Operational Semantics
  • Constructive Circuit Translation
  • Compiling Esterel
  • Overview
  • The GRC Intermediate Format
  • Code Generation from GRC
  • The Columbia Compiler.