47 search results - page 1 / 10 » Separate Compilation for Synchronous Modules |
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
—The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We pr...
ICESS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
ENTCS
2008
13 years 4 months ago
2008
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
POPL
1994
ACM
13 years 8 months ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
ENTCS
2006
13 years 4 months ago
2006