Toward the specification of a common base language.

Published in: ACM SIGPLAN Notices (1973)

Keyphrases

specification language
operational semantics
formal language
formal languages
action language
natural language
programming language
conceptual model
constraint language
modelling language
high level
business rules
formal specification
definition language
highly modular
real time
machine learning
neural network