Specification of parameterized programs -- persistency revisited

MaRDI QIDQ2765922zbMATH OpenFDO

Authors Yngve Lamo, Michał Walicki

Publication date 24 January 2002

Published in Nordic Journal of Computing (Search for Journal in Brave)

zbMATH Keywords

parameterized data typespersistent functor

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2079677
• scientific article; zbMATH DE number 3880082
• scientific article; zbMATH DE number 3898214
• Specification and verification of concurrent programs through refinements
• The equational theory of parameterized specifications
• A characterization of passing compatibility for parameterized specifications
• Proofs in parameterized specifications
• Parameterized programming for compositional system specification

Cited in

(4)

• Composition and refinement of specifications of parameterized data types
• scientific article; zbMATH DE number 3876566 (Why is no real title available?)
• scientific article; zbMATH DE number 3898211 (Why is no real title available?)
• On Cross-Stage Persistence in Multi-Stage Programming

This page was built for publication: Specification of parameterized programs -- persistency revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2765922)