scientific article; zbMATH DE number 3648088

MaRDI QIDQ3206274zbMATH OpenFDO

Authors C. Livercy

Publication date 1978

zbMATH Keywords

fixed pointsschematasemanticsverification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(5)

• Fixed point theorems and semantics: A folk tale
• The contraction principle as a particular case of Kleene's fixed point theorem
• Methodical solution of the problem of ascending subsequences of maximum length within a given sequence
• scientific article; zbMATH DE number 3829278 (Why is no real title available?)
• Principles of plasma pattern and alternative structure compilation

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