668 search results - page 24 / 134 » Operational semantics for multi-language programs |
118
Voted
TPHOL
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
108
Voted
ENTCS
2007
15 years 2 months ago
2007
McCarthy’s amb operator has no known denotational semantics, and its basic operational properties - the context lemma, the compatibility of refinement similarity and convex bis...
117
click to vote
FROCOS
2005
Springer
15 years 7 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
107
Voted
TAPSOFT
1991
Springer
15 years 5 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
96
Voted
ENTCS
2008
15 years 2 months ago
2008
Reynolds' view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in parti...