Program composition via unification
From MaRDI portal
Publication:1331925
DOI10.1016/0304-3975(94)90093-0zbMATH Open0822.68061OpenAlexW1998032456MaRDI QIDQ1331925FDOQ1331925
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
Recommendations
- Program composition via unification
- Unifying program construction and modification
- scientific article; zbMATH DE number 1088217
- scientific article
- 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
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Program development by stepwise refinement
- Communicating sequential processes
- Title not available (Why is that?)
- Specifying Concurrent Program Modules
- Predicative programming Part II
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Program composition via unification
Cited In (3)
Uses Software
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)
