scientific article; zbMATH DE number 3567992

zbMath0364.68018MaRDI QIDQ4139645

Irène Guessarian

Publication date: 1977

Full work available at URL: https://eudml.org/doc/92047

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ Completion for unification ⋮ Program transformations and algebraic semantics ⋮ Axiomatisation des tests

Cites Work

• Theory of program structures: Schemes, semantics, verification
• On some classes of interpretations
• Notes on avoiding ``go to statements
• On formalised computer programs
• Equivalences on program schemes
• Translating recursion equations into flow charts
• Minimal and Optimal Computations of Recursive Programs
• Inductive methods for proving properties of programs
• On Ianov's Program Schemata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: