Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Deductive synthesis of sorting programs
Journal of Symbolic Computation
PRECOMAS an implementation of constructive matching methodology
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Automatic Derivation of Formal Software Specifications from Informal Descriptions
IEEE Transactions on Software Engineering
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Logic program synthesis from incomplete specifications
Journal of Symbolic Computation - Special issue on automatic programming
The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
Representing Software Engineering Knowledge
Automated Software Engineering
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Integrity Constraint Reformulation for Efficient Validation
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Invited Talk: Pointwise Relational Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Schema-Guided Synthesis of CLP Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
Automated Software Engineering
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
An introduction to inductive programming
Artificial Intelligence Review
CYPRESS-Soar: a case study in search and learning in algorithm design
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Reasoning by cases and the formation of conditional programs
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
The abstraction/implementation model of problem reformulation
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
Synthesizing algorithms with performance constraints
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Algorithm synthesis through problem reformulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Synthesizing algorithms with performance constraints
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Algorithm synthesis through problem reformulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Using abstraction to automate program improvement by transformation
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |