scientific article; zbMATH DE number 3558921

zbMath0358.68018MaRDI QIDQ4130960

Jacques Arsac

Publication date: 1977

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

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 (2)

La fonction d'Ackermann : un nouveau mode de dérécursivation ⋮ Unnamed Item

Cites Work

• Analysis of structured programs
• A system which automatically improves programs
• Notes on avoiding ``go to statements
• A genealogy of control structures
• Lucid—A Formal System for Writing and Proving Programs
• On the capabilities of while, repeat, and exit statements
• Recursion and iteration
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: