ASM Semantics for C++ 2.0.

Published in: Abstract State Machines (2005)

Keyphrases

semantic information
active shape model
logic programming
neural network
high level
default reasoning
formal semantics
semantic representation
specification language
active shape