A Higher-order Interpretation of Deductive Tableau
- 1 May 2001
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 31 (5) , 487-520
- https://doi.org/10.1006/jsco.2001.0444
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Modeling a Hardware Synthesis Methodology in IsabelleFormal Methods in System Design, 1999
- Fundamentals of deductive program synthesisIEEE Transactions on Software Engineering, 1992
- The calculus of constructionsInformation and Computation, 1988
- Top-down synthesis of divide-and-conquer algorithmsArtificial Intelligence, 1985
- Proofs as programsACM Transactions on Programming Languages and Systems, 1985
- Syntax-directed, semantics-supported program synthesisArtificial Intelligence, 1980
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- XIV—The Reality of the PastProceedings of the Aristotelian Society (Hardback), 1969