Pascal. User manual and report

MaRDI QIDQ1846739zbMATH OpenFDO

Authors Kathleen Jensen, Niklaus Wirth

Publication date 1974

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

Mathematics Subject Classification ID

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

Cited in

(18)

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

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

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