scientific article; zbMATH DE number 4047034

MaRDI QIDQ3783489zbMATH OpenFDO

Authors Pierre Berlioux, Philippe Bizard

Publication date 1986

zbMATH Keywords

complexityiterative programsprogram constructionprogram verificationrecursive programs

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)

Recommendations

• scientific article; zbMATH DE number 1042201
• An introduction to the analysis of algorithms.
• scientific article; zbMATH DE number 3938521
• scientific article; zbMATH DE number 48697
• scientific article; zbMATH DE number 1052004

Cited in

(10)

• A calculus of refinements for program derivations
• scientific article; zbMATH DE number 4013991 (Why is no real title available?)
• scientific article; zbMATH DE number 2130217 (Why is no real title available?)
• scientific article; zbMATH DE number 3938521 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1042201 (Why is no real title available?)
• The correctness-by-construction approach to programming
• A Programmer's Companion to Algorithm Analysis
• scientific article; zbMATH DE number 7642012 (Why is no real title available?)
• Loop invariants in floating point algorithms

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