Sciweavers

4690 search results - page 13 / 938
» An operational semantics for Scheme
Sort
View
ICFP
1999
ACM
13 years 12 months ago
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
Matthew Flatt, Robert Bruce Findler, Shriram Krish...
LICS
1997
IEEE
13 years 12 months ago
Towards a Mathematical Operational Semantics
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
Daniele Turi, Gordon D. Plotkin
FUIN
2010
121views more  FUIN 2010»
13 years 2 months ago
Big-step Operational Semantics Revisited
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
Jaroslaw D. M. Kusmierek, Viviana Bono
FASE
2004
Springer
13 years 11 months ago
An Operational Semantics for Stateflow
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
Grégoire Hamon, John M. Rushby
ENTCS
2007
91views more  ENTCS 2007»
13 years 7 months ago
Rule-Based Operational Semantics for an Imperative Language
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
Florent Kirchner, François-Régis Sin...