Pascal. User manual and report. 2nd ed
From MaRDI portal
Publication:1213738
zbMath0296.68004MaRDI QIDQ1213738
Kathleen Jensen, Niklaus Wirth
Publication date: 1975
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) General topics in the theory of software (68N01)
Related Items
The formal termination problem for programs with finite ALGOL 68-modes ⋮ From Coloured Petri Nets to Object Petri Nets ⋮ Cyclomatic numbers do not measure complexity of unstructured programs ⋮ The independence of control structures in abstract programming systems ⋮ Behandlung verschiedener INTEGER-Darstellungen durch optimierende Compiler ⋮ Unnamed Item ⋮ MINIMIZATION OF SYNTAX DIAGRAMS WITH MULTIPORT COMPONENTS ⋮ Rules of inference for procedure calls ⋮ Output driven interpretation of recursive programs, or writing creates and destroys data structures ⋮ Fifty years of Hoare's logic ⋮ PASCAL in LCF: Semantics and examples of proof ⋮ Fast deterministic parsers for transition networks ⋮ Fast multiple alignment of ungapped DNA sequences using information theory and a relaxation method ⋮ Wythoff games, continued fractions, cedar trees and Fibonacci searches ⋮ Correctness of programs with Pascal-like procedures without global variables
