Sign in

Composing Specifications.

Martín AbadiLeslie Lamport
Published in: ACM Trans. Program. Lang. Syst. (1993)
Keyphrases
  • delay insensitive
  • high level
  • database
  • formal specification
  • specification language
  • neural network
  • database systems
  • learning environment
  • expert systems
  • attribute grammars
  • written in natural language