Login / Signup
Specification languages for mechanical languages and their processors a baker's dozen: a set of examples presented to ASA x3.4 subcommittee.
Saul Gorn
Published in:
Commun. ACM (1961)
Keyphrases
</>
specification languages
parallel algorithm
small number
open source
formal specification
positive examples