Java and the Java Virtual Machine
Subtitle: Definition, Verification, Validation
Edition: 1 edition
Publisher: Springer
Published: June 27, 2001
Language: eng
Format: Hardcover
Number of pages: 392
ISBN-13: 9783540420880
Subjects: Compilers & interpreters; Java & variants; Programming languages; Software engineering; Programming Languages - Java; Computers; Computer Architecture; Computer Networks; Computers - Languages / Programming; Programming - General; Computer Books And Software; Java (Computer program language); Computers / Programming Languages / General; Virtual computer systems; Computer Architecture - General; Java (Computer program languag
First sentence: The notion of Abstract State Machines (ASMs), defined in [20], captures in mathematically rigorous yet transparent form some fundamental operational intuitions of computing, and the notation is familiar from programming practice and mathematical standards.