SEMANOL

swMATH34033MaRDI QIDQ45742FDOQ45742

Author name not available (Why is that?)

Official website: https://link.springer.com/article/10.1007/BF00268496

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