scientific article; zbMATH DE number 3586457

zbMATH Open0376.68004MaRDI QIDQ4153574FDOQ4153574

Authors: Andrew D. McGettrick 

Publication date: 1978

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Cited In (3)

• An algebraic semantics approach to the effective resolution of type equations
• Remarks on R. D. Tennent's Language design methods based on semantic principles: Algol 68, a language designed using semantic principles
• Programs as proofs: A synopsis

Uses Software

• ALGOL 68

This page was built for publication:

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