scientific article; zbMATH DE number 3558921

MaRDI QIDQ4130960zbMATH OpenFDO

Authors Jacques Arsac

Publication date 1977

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites work

• A genealogy of control structures
• A system which automatically improves programs
• An axiomatic basis for computer programming
• Analysis of structured programs
• scientific article; zbMATH DE number 3456484 (Why is no real title available?)
• scientific article; zbMATH DE number 3471564 (Why is no real title available?)
• scientific article; zbMATH DE number 3483535 (Why is no real title available?)
• scientific article; zbMATH DE number 3538787 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3621660 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• Lucid—A Formal System for Writing and Proving Programs
• Notes on avoiding ``go to statements
• On the capabilities of while, repeat, and exit statements
• Recursion and iteration

Cited in

(2)

• La fonction d'Ackermann : un nouveau mode de dérécursivation
• 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 Q4130960)