Flowchart machines

DOI10.1007/BF01935563MaRDI QIDQ5615718zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• A contribution to the development of ALGOL
• Flow diagrams, turing machines and languages with only two formation rules
• scientific article; zbMATH DE number 3145583 (Why is no real title available?)
• scientific article; zbMATH DE number 3159208 (Why is no real title available?)
• scientific article; zbMATH DE number 3293666 (Why is no real title available?)
• scientific article; zbMATH DE number 3353310 (Why is no real title available?)
• Models of Computations and Systems—Evaluation of Vertex Probabilities in Graph Models of Computations
• On Ianov's Program Schemata
• On the equivalence and transformation of program schemes
• Revised report on the algorithmic language ALGOL 60
• The outer and inner syntax of a programming language
• The theory of sequential relations

Cited in

(2)

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

Describes a project that uses

Uses Software

• ALGOL 60

This page was built for publication: Flowchart machines

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