SEMANOL

swMATH34033MaRDI QIDQ45742FDOQ45742

Author name not available (Why is that?)

Described by source

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

Cited In (2)

• Semantics of algorithmic languages
• A generalization of the homomorphism concept

This page was built for software: SEMANOL