scientific article

zbMath0451.68014MaRDI QIDQ3898006

Jacques Arsac

Publication date: 1977

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

zbMATH Keywords

program transformationsstructured programminginductive assertions

Mathematics Subject Classification ID

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

Related Items

Tours de Hanoï et automates ⋮ Pour en finir avec la dérécursivation du problème des tours de Hanoï ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An algebraic definition for control structures ⋮ Dataflow analysis of array and scalar references ⋮ Program transformations and algebraic semantics ⋮ An optimal algorithm to implement the Hanoi towers with parallel moves

This page was built for publication: