Program composition via unification

DOI10.1016/0304-3975(94)90093-0MaRDI QIDQ1331925zbMATH OpenOpenAlexFDO

Authors Limor Fix, Nissim Francez, Orna Grumberg

Publication date 29 August 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)90093-0

zbMATH Keywords

verification of programscompositional proof systemsjigsaw operator

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Program composition via unification
• Unifying program construction and modification
• scientific article; zbMATH DE number 1088217
• scientific article; zbMATH DE number 4096777
• scientific article; zbMATH DE number 3092135
• Compositional programming: theory and practice
• Synthesis of rewrite programs by higher-order and semantic unification
• Semantic synthesis of programs by matching compositions
• scientific article; zbMATH DE number 3934387

Cites work

• scientific article; zbMATH DE number 3903940 (Why is no real title available?)
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 3664338 (Why is no real title available?)
• scientific article; zbMATH DE number 3705887 (Why is no real title available?)
• scientific article; zbMATH DE number 176727 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 4119656 (Why is no real title available?)
• Communicating sequential processes
• Predicative programming Part II
• Program composition via unification
• Program development by stepwise refinement
• Specifying Concurrent Program Modules

Cited in

(4)

• Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
• Reasoning about programs by exploiting the environment
• scientific article; zbMATH DE number 1897134 (Why is no real title available?)
• Program composition via unification

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Program composition via unification

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