A partially formalized model of the type system in Modula-2

MaRDI QIDQ1898550zbMATH OpenFDO

Authors B. Ya. L'vin

Publication date 25 September 1995

Published in Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Describes a project that uses

Uses Software

• Modula

This page was built for publication: A partially formalized model of the type system in Modula-2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1898550)