Program composition via unification

DOI10.1016/0304-3975(94)90093-0zbMath0822.68061OpenAlexW1998032456MaRDI QIDQ1331925

Nissim Francez, Orna Grumberg, Limor Fix

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

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

Related Items

Program composition via unification ⋮ Reasoning about programs by exploiting the environment

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specifying Concurrent Program Modules
• Predicative programming Part II
• Communicating sequential processes
• Program composition via unification
• Program development by stepwise refinement