Loading...
Please wait, while we are loading the content...
Similar Documents
A Monad for Basic Java Semantics (2000)
| Content Provider | CiteSeerX |
|---|---|
| Author | Jacobs, Bart Poll, Erik |
| Description | 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]. |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 2000-01-01 |
| Publisher Institution | TECHN. REP., COMPUT. SCI. INST., UNIV. OF NIJMEGEN |
| Access Restriction | Open |
| Subject Keyword | Java Program Basic Java Semantics Computational Monad Proof Tool Denotational Semantics Sequential Java |
| Content Type | Text |
| Resource Type | Article |