A Monad for Basic Java Semantics

Authors
Publication date
1 January 2000
Publisher
Springer
Doi

    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]

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Crossref

      redirect
      Last time updated on 14/03/2019