scientific article; zbMATH DE number 3586457
From MaRDI portal
Publication:4153574
zbMath0376.68004MaRDI QIDQ4153574
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)
Related Items (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
This page was built for publication:
