SEMANOL (73) a metalanguage for programming the semantics of programming languages

@article{Anderson1976SEMANOLA,
  title={SEMANOL (73) a metalanguage for programming the semantics of programming languages},
  author={E. R. Anderson and Frank C. Belz and Edward K. Blum},
  journal={Acta Informatica},
  year={1976},
  volume={6},
  pages={109-131}
}
SummarySEMANOL is a practical programming system for writing readable formal specifications of the syntax and semantics of programming languages. SEMANOL is based on a theory of semantics which embraces algorithmic (operational) and extensional (input/output) semantics. Specifications for large contemporary languages have been constructed in the formal language, SEMANOL (73), which is a readable high-level notation. A SEMANOL (73) specification can be executed (by an existing interpreter… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 20 REFERENCES

SEMANOL 73 , A metalanguage for programming the semantics of programming languages

E. R. Anderson, F. C. Belz
  • Computer semantics . New York : Van Nostrand Reinhold
  • 1972

Translation of PL / I into abstract syntax

K. Alber, P. Oliva
  • On the Vienna method and notat ion for the formal definition of programming languages
  • 1971

Formal languages and their relation to automata

  • Addison-Wesley series in computer science and information processing
  • 1969