scientific article; zbMATH DE number 3812929

MaRDI QIDQ3660892zbMATH OpenFDO

Authors Andrzej Blikle, Andrzej Tarlecki

Publication date 1983

zbMATH Keywords

Scott's reflexive domains and continuationsstatic continuations

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(4)

• Annotations in formal specifications and proofs
• Proof obligations for blocks and procedures
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• A guided tour of the mathematics of MetaSoft '88

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