Login / Signup
An Algebraic Specification of Pascal's File Type.
Alfred Laut
Published in:
ACM SIGPLAN Notices (1983)
Keyphrases
</>
artificial intelligence
high level
multiscale
digital libraries
database
machine learning
mobile robot
specification language
provably correct