Program composition via unification

DOI10.1007/3-540-55719-9_113zbMath1427.68045OpenAlexW1520780664MaRDI QIDQ5204356

Limor Fix, Orna Grumberg, Nissim Francez

Publication date: 4 December 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55719-9_113

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Program composition via unification

Uses Software

• UNITY

Cites Work

• Program composition via unification
• Predicative programming Part II
• Ten Years of Hoare's Logic: A Survey—Part I
• Communicating sequential processes
• Program development by stepwise refinement
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Program composition via unification