A Monad for Basic Java Semantics (2000)
Cached
Download Links
- [www.cs.kun.nl]
- [www.cs.ru.nl]
- [www.cs.kun.nl]
- [www.cs.kun.nl]
- DBLP
Other Repositories/Bibliography
by
Bart Jacobs
,
Erik Poll
| Venue: | TECHN. REP., COMPUT. SCI. INST., UNIV. OF NIJMEGEN |
| Citations: | 12 - 6 self |
BibTeX
@INPROCEEDINGS{Jacobs00amonad,
author = {Bart Jacobs and Erik Poll},
title = {A Monad for Basic Java Semantics},
booktitle = {TECHN. REP., COMPUT. SCI. INST., UNIV. OF NIJMEGEN},
year = {2000},
pages = {150--164},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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].
