Login / Signup
A Hierarchial Approach to Formal Semantics With Application to the Definition of PL/CS.
Robert L. Constable
James E. Donahue
Published in:
ACM Trans. Program. Lang. Syst. (1979)
Keyphrases
</>
formal semantics
computer science
operational semantics
er model