Flowchart machines

DOI10.1007/BF01935563zbMath0213.43104OpenAlexW4241843930MaRDI QIDQ5615718

Dines Bjørner

Publication date: 1970

Published in: BIT (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of compilers and interpreters (68N20) General topics in the theory of software (68N01)

Related Items

On some topological properties of numerical algorithms ⋮ A survey of state vectors

Uses Software

• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Revised report on the algorithmic language ALGOL 60
• On the equivalence and transformation of program schemes
• A contribution to the development of ALGOL
• Flow diagrams, turing machines and languages with only two formation rules
• The theory of sequential relations
• Models of Computations and Systems—Evaluation of Vertex Probabilities in Graph Models of Computations
• The outer and inner syntax of a programming language
• On Ianov's Program Schemata