Login / Signup

Arithmetizing declarations: an application to COBOL.

Melvin E. ConwayJoseph Speroni
Published in: Commun. ACM (1963)
Keyphrases
  • programming language
  • formal specification
  • general purpose
  • machine learning
  • case study
  • high level
  • database
  • information systems
  • data model
  • relational databases
  • open source
  • wireless sensor networks
  • peer to peer