Download:
|
by Bart Jacobs, Erik Poll
Techn. Rep., Comput. Sci. Inst., Univ. of Nijmegen
http://www.cs.kun.nl/~bart/PAPERS/AMAST00.ps.Z
Add To MetaCart
Abstract:
fbart, erikpollg Abstract This paper describes the role of a computational monad in the denotational semantics of sequential Java and investigates some of its properties. This denotational semantics is an abstraction of the one used for the verication of (sequential) Java programs using proof tools, see [11,15]. 1
Citations
|
565
|
Notions of computation and monads
– Moggi
- 1991
|
|
383
|
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
– Stoy
- 1977
|
|
200
|
A tutorial on (co)algebras and (co)induction
– Jacobs, Rutten
- 1997
|
|
97
|
The Java Language Speci
– Gosling, Joy, et al.
- 1996
|
|
91
|
An approach to object semantics based on terminal co-algebras
– Reichel
- 1995
|
|
57
|
Axiomatic Domain Theory in Categories of Partial Maps
– Fiore
- 1994
|
|
33
|
Formal veri for fault-tolerant architectures: Prolegomena to the design of PVS
– Owre, Rushby, et al.
- 1995
|
|
27
|
Inheritance and cofree constructions
– Jacobs
- 1996
|
|
23
|
Java Program Veri via a Hoare Logic with Abrupt Termination
– Huisman, Jacobs
- 2000
|
|
20
|
A type-theoretic memory model for veri of sequential Java programs
– Berg, Huisman, et al.
- 2000
|
|
19
|
Reasoning about classes in Java (preliminary report
– Jacobs, Berg, et al.
- 1998
|
|
14
|
Inheritance in higher order logic: Modeling and reasoning
– Huisman, Jacobs
- 2000
|
|
10
|
A case study in class library veri Java's Vector class
– Huisman, Jacobs, et al.
- 2000
|
|
8
|
Dynamic denotational semantics of Java
– Alves-Foss, Lam
- 1998
|
|
6
|
The next 700 theorem provers
– Isabelle
- 1990
|
|
1
|
An algebraic view of program composition
– Cenciarelli
- 1998
|
