scientific article; zbMATH DE number 3705883

MaRDI QIDQ3898006zbMATH OpenFDO

Authors Jacques Arsac

Publication date 1977

zbMATH Keywords

inductive assertionsprogram transformationsstructured programming

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)

Cited in

(9)

• An optimal algorithm to implement the Hanoi towers with parallel moves
• An algebraic definition for control structures
• Dataflow analysis of array and scalar references
• Program transformations and algebraic semantics
• Tours de Hanoï et automates
• Pour en finir avec la dérécursivation du problème des tours de Hanoï
• scientific article; zbMATH DE number 3677217 (Why is no real title available?)
• scientific article; zbMATH DE number 3688675 (Why is no real title available?)
• scientific article; zbMATH DE number 3605901 (Why is no real title available?)

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 Q3898006)