The use of action semantics (original) (raw)
The use of action semantics
1986
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.