Sign in
Composing Specifications.
Martín Abadi
Leslie 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