288 search results - page 7 / 58 » The Denotational Semantics of slotted-Circus |
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
DAGSTUHL
2006
13 years 10 months ago
2006
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
FOSSACS
1998
Springer
14 years 26 days ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
DAGSTUHL
2001
13 years 10 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...