Theory of program structures: Schemes, semantics, verification
From MaRDI portal
Publication:1233308
zbMath0345.68002MaRDI QIDQ1233308
Publication date: 1975
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N01: General topics in the theory of software
Related Items
Semantics of algorithmic languages, Expressive power of typed and type-free programming languages, Two theorems about the completeness of Hoare's logic, Deterministic and nondeterministic flowchart interpretations, Expressiveness and the completeness of Hoare's logic, The propositional dynamic logic of deterministic, well-structured programs, Equivalences among logics of programs, Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time, Decision problems for pushdown threads, The unwind property for programs with bounded memory, Continuation semantics for flowgraph equations, On flowchart theories. I. The deterministic case, Concurrent program schemes and their logics, On the detection of unstructuredness in flowgraphs, Succinct representation of regular sets using gotos and Boolean variables, Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I, The equivalence of r.e. program schemes and data flow schemes, Computable queries for relational data bases, Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II, Methods and means of parallel processing of information, Recursion-closed algebraic theories, Floyd's principle, correctness theories and program equivalence, Deciding freeness for program schemes with a single unary function, Expressing program looping in regular dynamic logic, Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs, Hoare's logic and Peano's arithmetic, Extended linear macro grammars, iteration grammars, and register programs, Modifications of the program scheme model, Propositional dynamic logic of regular programs, Monadic recursion schemes: The effect of constants, A formal specification of document processing, On schematological equivalence of partially interpreted dataflow networks, Program schemata vs. automata for decidability of program logics, Equivalence of conservative, free, linear program schemas is decidable, Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming, Unnamed Item, Unnamed Item, An analysis of the effect of rounding errors on the flow of control in numerical processes
