Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
The discoveries of continuations
Lisp and Symbolic Computation - Special issue on continuations—part I
Higher-Order and Symbolic Computation
Continuations: A Mathematical Semantics for Handling FullJumps
Higher-Order and Symbolic Computation
Defining and translating a "safe" subset of simulink/stateflow into lustre
Proceedings of the 4th ACM international conference on Embedded software
Generating Efficient Test Sets with a Model Checker
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Proceedings of the 5th ACM international conference on Embedded software
Continuation-passing enactment of distributed recoverable workflows
Proceedings of the 2007 ACM symposium on Applied computing
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Electronic Notes in Theoretical Computer Science (ENTCS)
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Polyglot: modeling and analysis for multiple Statechart formalisms
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Refinement-oriented models of Stateflow charts
Science of Computer Programming
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
An industrial application of formal model based development: the Metrô Rio ATP case
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
The coroutine model of computation
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Zélus: a synchronous language with ODEs
Proceedings of the 16th international conference on Hybrid systems: computation and control
Science of Computer Programming
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
Safety-critical medical device development using the UPP2SF model translation tool
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.00 |
We present a denotational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink toolsuite. This semantics makes use of continuations to capture even the most complex constructions of the language, such as inter-level transitions, junctions, or backtracking. An immediate application of this semantics is a formal compilation scheme for the language.