A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
A simplifier based on efficient decision algorithms
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
ACM Transactions on Programming Languages and Systems (TOPLAS)
Special relations in automated deduction
Journal of the ACM (JACM) - The MIT Press scientific computation series
Automatic programming: A tutorial on formal methodologies
Journal of Symbolic Computation
IEEE Transactions on Computers
Inference with path resolution and semantic graphs
Journal of the ACM (JACM)
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A transaction logic for database specification
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
ICSE '88 Proceedings of the 10th international conference on Software engineering
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Transformational derivation of programs using the focus system
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Note on theorem proving strategies for resolution counterparts of non-classical logics
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
Search direction by goal failure in goal-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
PRECOMAS an implementation of constructive matching methodology
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Automatic Derivation of Formal Software Specifications from Informal Descriptions
IEEE Transactions on Software Engineering
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Automatic program generation using sequent calculus
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
“Dynamic” inferencing with generalized resolution
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program synthesis based on Boyer-Moore theorem proving techniques
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Argus/V: a system for verification of Prolog programs
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Program Transformation Systems
ACM Computing Surveys (CSUR)
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Synthesizing abstract data type specifications
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Automating the synthesis of decision procedures in a constructive metatheory
Annals of Mathematics and Artificial Intelligence
Searching for a Global Search Algorithm
Automated Software Engineering
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
Automated Software Engineering
Recursive Program Optimization through Inductive Synthesis Proof Transformation
Journal of Automated Reasoning
Towards a Formalism to Produce a Programmer Assistant CASE Tool
IEEE Transactions on Knowledge and Data Engineering
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Synthesizing Database Transactions
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Program Derivation = Rules + Strategies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Web Agents Cooperating Deductively
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Synthesis of Uninitialized Systems
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Synthesizing State-Based Object Systems from LSC Specifications
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
DS '00 Proceedings of the Third International Conference on Discovery Science
Formal software engineering for computational modelling
Nordic Journal of Computing
TABLOG: The deductive-tableau programming language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Transformations of FP program schemes
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A framework for program development based on schematic proof
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Superposition with equivalence reasoning and delayed clause normal form transformation
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Pointing to places in a deductive geospatial theory
HLT-NAACL-GEOREF '03 Proceedings of the HLT-NAACL 2003 workshop on Analysis of geographic references - Volume 1
Composition of semantic web services using linear logic theorem proving
Information Systems - Special issue: The semantic web and web services
An approach to automatic deductive synthesis of functional programs
Annals of Mathematics and Artificial Intelligence
From web services annotation and composition to web services domain analysis
International Journal of Metadata, Semantics and Ontologies
Generating Programs Plus Proofs by Refinement
Verified Software: Theories, Tools, Experiments
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Using a Rule Language for Capturing Semantics in Web-Based Systems
Proceedings of the 2007 conference on Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS'2006
Stratified Composition of Web Services
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Automated deduction for verification
ACM Computing Surveys (CSUR)
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
A design for an automatic programming system
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A problem reduction approach to program synthesis
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Automatic programming from data types decomposition patterns
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Path resolution with link deletion
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
CM-strategy: a methodology for inductive theorem proving or constructive well-generalized proofs
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
PHI: a logic-based tool for intelligent help systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
The origin of the binary-search paradigm
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Matrix proof methods for modal logics
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Solving "how to clear a block" with constructive matching methodology
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Superposition with equivalence reasoning and delayed clause normal form transformation
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Composition of Semantic Web services using Linear Logic theorem proving
Information Systems
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Oracle-guided component-based program synthesis
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Dimensions in program synthesis
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
The deductive synthesis of imperative LISP programs
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The deductive synthesis of imperative LISP programs
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Automatic programming for sequence control
IAAI'92 Proceedings of the fourth conference on Innovative applications of artificial intelligence
The transformational approach to program development
A 25-year perspective on logic programming
Ordered sets in the calculus of data structures
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Synthesis of trigger properties
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Synthesis of loop-free programs
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Path-based inductive synthesis for program inversion
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Synthesizing data structure manipulations from storyboards
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Interactive synthesis of code snippets
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
From boolean to quantitative synthesis
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Automatic deductive synthesis of lisp programs in the system ALISA
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Designing security requirements models through planning
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Synthesis from scenario-based specifications
Journal of Computer and System Sciences
Sciduction: combining induction, deduction, and structure for verification and synthesis
Proceedings of the 49th Annual Design Automation Conference
Partial Structural Synthesis of Programs
Fundamenta Informaticae
Generating sound and effective memory debuggers
Proceedings of the 2013 international symposium on memory management
Synthesis modulo recursive functions
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
A constraint-based approach to solving games on infinite graphs
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Synthesis of hierarchical systems
Science of Computer Programming
| Hi-index | 0.01 |
Program synthesis is the systematic derivation of a program from a given specification. A deductive approach to program synthesis is presented for the construction of recursive programs. This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework.