An Executable Specification of C++.

Horatiu Jula Nicu G. Fruja

Published in: Abstract State Machines (2005)

Keyphrases

formal specification
control flow
specification language
process algebra
attribute grammars
neural network
high level
case study
multiscale
provably correct
user interface
concurrent systems
conceptual model
data sets
data structure
decision trees
learning algorithm
databases