Logic Based Program Synthesis and Transformation

DOI10.1007/B98080zbMATH Open1099.68590OpenAlexW4301837838MaRDI QIDQ5713940

Qian Wang, Gopal Gupta

Publication date: 27 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98080

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Title not available (Why is that?)

Recommendations

• Continuation semantics for the Lambek-Grishin calculus 👍 👎
• Semantics of Horn and disjunctive logic programs 👍 👎
• Continuations in possible-world semantics 👍 👎
• Deriving proof rules from continuation semantics 👍 👎
• Higher-order Horn clauses 👍 👎
• Iterative Specialisation of Horn Clauses 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Logic Based Program Synthesis and Transformation

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