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