Author: David Anthony Watt
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 416
Book Description
Contains a treatment of syntax and semantics, and coverage of several complementary semantic methods, with emphasis on using formal specification. There is brief coverage of underlying theory, and an introduction to action semantics - a new method of specifying semantics.