The use of action semantics (original) (raw)

paper cover icon

The use of action semantics

1986

Peter MossesPeter Mosses

Abstract

Abstract Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal descriptions of syntax. Thus, in current standards for programming languages, syntax is usually described formally but semantics informally, despite the ...

Peter Mosses hasn't uploaded this paper.

Let Peter know you want this paper to be uploaded.

Ask for this paper to be uploaded.