Verifying Compilers and ASMs.

Gerhard Goos Wolf Zimmermann

Published in: Abstract State Machines (2000)

Keyphrases

programming language
hardware and software
computer architecture
active shape model
computer systems
model checking
e learning
general purpose
code generation
neural network
learning algorithm
information systems
database systems