Metal: a formalism to specify formalisms
- 31 August 1983
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 3 (2), 151-188
- https://doi.org/10.1016/0167-6423(83)90009-6
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- PrettyprintingACM Transactions on Programming Languages and Systems, 1980
- Syntactic source to source transforms and program manipulationCommunications of the ACM, 1979
- A Sampler of Formal DefinitionsACM Computing Surveys, 1976