The programming language Pascal
From MaRDI portal
Publication:2542188
DOI10.1007/BF00264291zbMath0205.18603OpenAlexW2792939069WikidataQ55951021 ScholiaQ55951021MaRDI QIDQ2542188
Publication date: 1971
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00264291
Related Items
A Finite Axiomatisation of Finite-State Automata Using String Diagrams, Object-oriented programming in control system design: A survey, Unnamed Item, Simple and safe SQL queries with \texttt{C++} templates, On a notational device for the description of pointer-free operations on structured data, A note on the for statement, An implementation base for efficient data structuring, On the classification of binding mechanisms, Process synchronization in high-level languages, Aspects of compact programs and directly executed languages, Recursive data structures, A string diagrammatic axiomatisation of finite-state automata, A practical method for implementing string pattern matching machines, Compiler to interpreter: experiences with a distributed programming language, A fast compactifying garbage collector, Generalized dominators for structured programs, Toward a system's environment for computer assisted programming, A thread calculus with molecular dynamics, PASCAL in LCF: Semantics and examples of proof, Recursive converters on a memory, A simple query language based on set algebra, FSTDS system: A fuzzy-set manipulation system, All structured programs have small tree width and good register allocation, Semantics of interference control, Expressive power of typed and type-free programming languages, DTL: A language for the design and implementation of concurrent programs as structured networks, Programmed deallocation without dangling reference, From finite automata to fractal automata -- the power of recursion, A practical method for reducing sparse matrices with invariant entries, A note on the assignment of measurement points for frequency counts in structured programs
Cites Work
