scientific article; zbMATH DE number 3567992

zbMATH Open0364.68018MaRDI QIDQ4139645FDOQ4139645

Irène Guessarian

Publication date: 1977

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• Completion for unification
• Title not available (Why is that?)
• Axiomatisation des tests
• Program transformations and algebraic semantics

This page was built for publication:

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