Pascal. User manual and report

zbMath0288.68043MaRDI QIDQ1846739

Kathleen Jensen, Niklaus Wirth

Publication date: 1974

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Related Items (18)

A general backtrack algorithm for the isomorphism problem of combinatorial objects ⋮ An algebraic semantics approach to the effective resolution of type equations ⋮ Zur Verbesserung der Lokalität im Zugriff auf Felder ⋮ Remarks on R. D. Tennent's Language design methods based on semantic principles: Algol 68, a language designed using semantic principles ⋮ Doo bee doo bee doo ⋮ Two iteration theorems for the LL(k) languages ⋮ MINIMIZATION OF SYNTAX DIAGRAMS WITH MULTIPORT COMPONENTS ⋮ More comments on the programming language Pascal ⋮ A low‐cost implementation of coroutines for C ⋮ Language design methods based on semantic principles ⋮ Characteristic parsing: A framework for producing compact deterministic parsers. I ⋮ Characteristic parsing: A framework for producing compact deterministic parsers. II ⋮ Programming continuous-system simulation in PASCAL ⋮ Extraction and verification of programs by analysis of formal proofs ⋮ Orthogonal parallel processing in Vector Pascal ⋮ Differentiation in PASCAL-SC: type GRADIENT ⋮ A description of dynamic behavior for compilers based on object oriented modeling ⋮ Some thoughts on computational models: from massive human computing to abstract state machines, and beyond

This page was built for publication: Pascal. User manual and report