668 search results - page 4 / 134 » Operational semantics for multi-language programs |
89
Voted
ENTCS
2000
14 years 10 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
88
Voted
TACS
1994
Springer
15 years 2 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
125
click to vote
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
169
Voted
ENTCS
2006
14 years 10 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
73
Voted
PEPM
2009
ACM
15 years 7 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...