The programming language Pascal

DOI10.1007/BF00264291MaRDI QIDQ2542188zbMATH OpenOpenAlexWikidataFDO

Authors Niklaus Wirth

Publication date 1971

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00264291

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites work

• A contribution to the development of ALGOL
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• Report on SUBSET ALGOL 60 (IFIP)

Cited in

(31)

• A practical method for implementing string pattern matching machines
• Toward a system's environment for computer assisted programming
• PASCAL in LCF: Semantics and examples of proof
• All structured programs have small tree width and good register allocation
• Object-oriented programming in control system design: A survey
• On a notational device for the description of pointer-free operations on structured data
• From finite automata to fractal automata -- the power of recursion
• A string diagrammatic axiomatisation of finite-state automata
• Compiler to interpreter: Experiences with a distributed programming language
• DTL: A language for the design and implementation of concurrent programs as structured networks
• Recursive converters on a memory
• A simple query language based on set algebra
• A practical method for reducing sparse matrices with invariant entries
• An implementation base for efficient data structuring
• Process synchronization in high-level languages
• Aspects of compact programs and directly executed languages
• Recursive data structures
• A fast compactifying garbage collector
• scientific article; zbMATH DE number 3551854 (Why is no real title available?)
• A note on the assignment of measurement points for frequency counts in structured programs
• Generalized dominators for structured programs
• A note on the for statement
• A Finite Axiomatisation of Finite-State Automata Using String Diagrams
• Simple and safe SQL queries with \texttt{C++} templates
• Tony Hoare: his path to the ACM Turing Award
• FSTDS system: A fuzzy-set manipulation system
• Semantics of interference control
• Expressive power of typed and type-free programming languages
• Programmed deallocation without dangling reference
• On the classification of binding mechanisms
• A thread calculus with molecular dynamics

This page was built for publication: The programming language Pascal

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