An algebraic specification of a Pascal compiler.

Joëlle Despeyroux

Published in: ACM SIGPLAN Notices (1983)

Keyphrases

database systems
code generation
database
databases
programming language
general purpose
high level
software systems
specification language
highly optimized
constraint language
formal specification
formal verification
highly modular
learning algorithm
neural network
data sets