scientific article; zbMATH DE number 3846121

MaRDI QIDQ3315934zbMATH OpenFDO

Authors Edsger W. Dijkstra

Publication date 1982

zbMATH Keywords

correctness preserving transformationsDijkstra's algorithminverse functionmonotone nondecreasing unbounded functionpartition of set of natural numbers

Mathematics Subject Classification ID

Permutations, words, matrices (05A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to sequences, series, summability (40-01) Software, source code, etc. for problems pertaining to sequences, series, summability (40-04) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3867310
• scientific article; zbMATH DE number 2090028
• Theory and applications of inverting functions as folds
• Some restrictions on simple fixed points of the integers
• Logical Approaches to Computational Barriers

Cited in

(2)

• scientific article; zbMATH DE number 3867310 (Why is no real title available?)
• Moser and tardos meet Lovász

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