Formal Semantics of Java Expressions and Statements

Abstract

A formal model of a Java-like program based on the ideas of Abstract State Machines was presented in the previous paper [1]. In this paper, we use this model for defining formal semantics of some typical expressions and statements of this language. A brief review of the model is given below. The model is based on a type system consisting of basic types… (More)
DOI: 10.1023/A:1025785124539

Topics

  • Presentations referencing similar topics