Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003483676> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2003483676 abstract "This article presents the very first effective design of higher-order modules in the programming language Esterel. Higher-order modules, together with the robust separate compilation scheme that implements it, allow us to address a yet unexplored application spectrum ranging from rapid prototyping of embedded functionality to hot reconfiguration of embedded software within the formal modeling framework of the synchronous hypothesis. While extensions of data-flow languages had already been proposed for Lustre [11] and Signal [25], the adaptation of similar programming concepts to imperative frameworks like Esterel has long posed major technical challenges, due to the specificity of its model of computation. We present a framework including a formal semantics, a type system, and a modular code generator, that tackle this challenge. We consider a specific stack-based module call convention and a simple event pooling protocol; in consequence signals can refer to modules and modules can be transmitted and instantiated by referencing a signal. We define a type system that computes the potential emissions of a module and prove it sound. Our type system seamlessly fits an extension of Esterel's constructive semantics with higher-order modules." @default.
- W2003483676 created "2016-06-24" @default.
- W2003483676 creator A5010968465 @default.
- W2003483676 creator A5079995958 @default.
- W2003483676 creator A5091678625 @default.
- W2003483676 date "2010-01-01" @default.
- W2003483676 modified "2023-10-16" @default.
- W2003483676 title "A higher-order extension for imperative synchronous languages" @default.
- W2003483676 cites W1491178396 @default.
- W2003483676 cites W1504834688 @default.
- W2003483676 cites W1514687340 @default.
- W2003483676 cites W1542324532 @default.
- W2003483676 cites W1578681534 @default.
- W2003483676 cites W1584322803 @default.
- W2003483676 cites W1603799276 @default.
- W2003483676 cites W1606652620 @default.
- W2003483676 cites W168380059 @default.
- W2003483676 cites W1985304637 @default.
- W2003483676 cites W1991570511 @default.
- W2003483676 cites W2005976511 @default.
- W2003483676 cites W2040368742 @default.
- W2003483676 cites W2041225901 @default.
- W2003483676 cites W2066321408 @default.
- W2003483676 cites W2081938726 @default.
- W2003483676 cites W2094580572 @default.
- W2003483676 cites W2110699536 @default.
- W2003483676 cites W2110827463 @default.
- W2003483676 cites W2128612657 @default.
- W2003483676 cites W2146500670 @default.
- W2003483676 cites W2269221215 @default.
- W2003483676 cites W2339714652 @default.
- W2003483676 cites W2922165966 @default.
- W2003483676 cites W608160604 @default.
- W2003483676 doi "https://doi.org/10.1145/1811212.1811222" @default.
- W2003483676 hasPublicationYear "2010" @default.
- W2003483676 type Work @default.
- W2003483676 sameAs 2003483676 @default.
- W2003483676 citedByCount "2" @default.
- W2003483676 countsByYear W20034836762020 @default.
- W2003483676 countsByYear W20034836762022 @default.
- W2003483676 crossrefType "proceedings-article" @default.
- W2003483676 hasAuthorship W2003483676A5010968465 @default.
- W2003483676 hasAuthorship W2003483676A5079995958 @default.
- W2003483676 hasAuthorship W2003483676A5091678625 @default.
- W2003483676 hasBestOaLocation W20034836762 @default.
- W2003483676 hasConcept C10138342 @default.
- W2003483676 hasConcept C144133560 @default.
- W2003483676 hasConcept C182306322 @default.
- W2003483676 hasConcept C199360897 @default.
- W2003483676 hasConcept C2778029271 @default.
- W2003483676 hasConcept C41008148 @default.
- W2003483676 hasConceptScore W2003483676C10138342 @default.
- W2003483676 hasConceptScore W2003483676C144133560 @default.
- W2003483676 hasConceptScore W2003483676C182306322 @default.
- W2003483676 hasConceptScore W2003483676C199360897 @default.
- W2003483676 hasConceptScore W2003483676C2778029271 @default.
- W2003483676 hasConceptScore W2003483676C41008148 @default.
- W2003483676 hasLocation W20034836761 @default.
- W2003483676 hasLocation W20034836762 @default.
- W2003483676 hasLocation W20034836763 @default.
- W2003483676 hasOpenAccess W2003483676 @default.
- W2003483676 hasPrimaryLocation W20034836761 @default.
- W2003483676 hasRelatedWork W2112962394 @default.
- W2003483676 hasRelatedWork W2118300983 @default.
- W2003483676 hasRelatedWork W2166247150 @default.
- W2003483676 hasRelatedWork W2352495365 @default.
- W2003483676 hasRelatedWork W2382501300 @default.
- W2003483676 hasRelatedWork W3137189469 @default.
- W2003483676 hasRelatedWork W3162240892 @default.
- W2003483676 hasRelatedWork W4235530921 @default.
- W2003483676 hasRelatedWork W4243252198 @default.
- W2003483676 hasRelatedWork W4245713008 @default.
- W2003483676 isParatext "false" @default.
- W2003483676 isRetracted "false" @default.
- W2003483676 magId "2003483676" @default.
- W2003483676 workType "article" @default.