Top-down synthesis of divide-and-conquer algorithms
Artificial Intelligence
Automating the Transformational Development of Software
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Report on the Larch shared language
Science of Computer Programming
Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
Applications of a strategy for designing divide-and-conquer algorithms
Science of Computer Programming
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
Knowledge-based software design using design schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Automatic programming for streams II: transformational implementation
ICSE '88 Proceedings of the 10th international conference on Software engineering
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The ergo support system: an integrated set of tools for prototyping integrated environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Algorithm synthesis: a comparative study
Algorithm synthesis: a comparative study
Automating algorithm design within a general architecture for intelligence
Automating algorithm design within a general architecture for intelligence
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Program Transformation Systems
ACM Computing Surveys (CSUR)
An Automatic Technique for Selection of Data Representations in SETL Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program developments: formal explanations of implementations
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Program improvement by internal specialization
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume I: Parallel Architectures
Algorithm Theories and Design Tactics
Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
Derived Preconditions and Their Use in Program Synthesis
Proceedings of the 6th Conference on Automated Deduction
Algorithm synthesis through problem reformulation
Algorithm synthesis through problem reformulation
Structured programming
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Knowledge Representation and Reasoning in a Software Synthesis Architecture
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Different perspectives of the N-Queens problem
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Real theorem provers deserve real user-interfaces
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Transforming high-level data-parallel programs into vector operations
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Applications of feasible path analysis to program testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Caching intermediate results for program improvement
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards an Ada basis for KBSE: Refine-Ada 95 conversion
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Building, modifying and using component generators
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Memory simulators and software generators
Proceedings of the 1997 symposium on Software reusability
EVA: A Flexible Programming Method for Evolving Systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
The Domain Theory for Requirements Engineering
IEEE Transactions on Software Engineering
Design and specification of embedded systems in Java using successive, formal refinement
DAC '98 Proceedings of the 35th annual Design Automation Conference
Static caching for incremental computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated Software Synthesis: An Application in Mechanical CAD
IEEE Transactions on Software Engineering
From recursion to iteration: what are the optimizations?
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Derivation of glue code for agent interoperation
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Design Wizards and Visual Programming Environments for GenVoca Generators
IEEE Transactions on Software Engineering
A Theory-Based Representation for Object-Oriented Domain Models
IEEE Transactions on Software Engineering
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Supporting component-based reuse in CARE
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
A perspective of generative reuse
Annals of Software Engineering
Searching for a Global Search Algorithm
Automated Software Engineering
Specification and Animation of a Bank Transfer using KIDS/VDM
Automated Software Engineering
Artificial Intelligence and Software Engineering: Breaking the Toy Mold
Automated Software Engineering
Transformations to Restructure and Re–engineer COBOL Programs
Automated Software Engineering
Applying Formal Software Synthesis
IEEE Software
Representing and Maintaining Process Knowledge for Large-Scale Systems Development
IEEE Expert: Intelligent Systems and Their Applications
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
Dynamic Programming via Static Incrementalization
Higher-Order and Symbolic Computation
Program Synthesis from Formal Requirements Specifications Using APTS
Higher-Order and Symbolic Computation
Dynamic Programming via Static Incrementalization
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
NP-SPEC: An Executable Specification Language for Solving All Problems in NP
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Compiling High-Level Type Constructors in Constraint Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Generating Data Analysis Programs from Statistical Models
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Interactions of Abstractions in Programming
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Program Derivation = Rules + Strategies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Software Construction and Analysis Tools for Future Space Missions
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TAS - A Generic Window Inference System
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Heterogeneous Modeling Support for Embedded Systems Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Schema-Guided Synthesis of CLP Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Software Development in PVS Using Generic Development Steps
Selected Papers from the International Seminar on Generic Programming
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
The CARE toolset for developing verified programs from formal specifications
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Design Wizards and Visual Programming Environments for Generators
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
EasyLocal++: an object-oriented framework for the flexible design of local-search algorithms
Software—Practice & Experience
On what exactly goes on when software is developed step-by-step, II: the sequel
Information Processing Letters - Special issue: Contribution to computing science
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Theories and techniques of program understanding
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
A software reverse engineering experience
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Experiences in program understanding
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
AutoBayes: a system for generating data analysis programs from statistical models
Journal of Functional Programming
Automated complexity analysis of Nuprl extracted programs
Journal of Functional Programming
Abstracting refinements for transformation
Nordic Journal of Computing
SPARTACAS Automating Component Reuse and Adaptation
IEEE Transactions on Software Engineering
Optimizing aggregate array computations in loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
Higher-Order and Symbolic Computation
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal approach to component adaptation and composition
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Plug-in proof support for formal development environments
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Incrementalization across object abstraction
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Proceedings of the 5th international conference on Generative programming and component engineering
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Requirement enforcement by transformation automata
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Information and Software Technology
Sketching concurrent data structures
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Applications Demand Class-Specific Optimizations: The C++ Compiler Can Do More
Scientific Programming - The First Annual Object-Oriented Numerics Conference (OON-SKI '93)
Generating Programs Plus Proofs by Refinement
Verified Software: Theories, Tools, Experiments
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Information and Software Technology
Ontology-Driven Information Systems: Past, Present and Future
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Computer aided software design via inference and constraint propagation
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Automated deduction for verification
ACM Computing Surveys (CSUR)
A language and framework for invariant-driven transformations
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Synthesis of fast programs for maximum segment sum problems
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Dynamic ADTs: a "don't ask, don't tell" policy for data abstraction
Proceedings of the 2007 International Lisp Conference
Synthesizing customized planners from specifications
Journal of Artificial Intelligence Research
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Structuring agents for adaptation
Adaptive agents and multi-agent systems
Dimensions in program synthesis
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
A class of Greedy algorithms and its relation to greedoids
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Derivational software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
Formal derivation of concurrent garbage collectors
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers
Software—Practice & Experience - Focus on Selected PhD Literature Reviews in the Practical Aspects of Software Technology
A software reverse engineering experience
CASCON First Decade High Impact Papers
Path-based inductive synthesis for program inversion
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
From boolean to quantitative synthesis
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Generation of geometric programs specified by diagrams
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Schema-guided synthesis of imperative programs by constraint solving
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Certifiable program generation
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Tactics for transformational programming
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
The role of proof in a formal specification of the speedway rulebook
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
NP-SPEC: an executable specification language for solving all problems in NP
Computer Languages
Program extrapolation with jennisys
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
| Hi-index | 0.00 |
The Kestrel Interactive Development System (KIDS), which provides automated support for the development of correct and efficient programs from formal specifications, is described. The system has components for performing algorithm design, deductive inference, program simplification, partial evaluation, finite differencing optimizations, data type refinement, compilation, and other development operations. Although their application is interactive, all of the KIDS operations are automatic except the algorithm design tactics, which require some interaction at present. Dozens of programs have been derived using the system, and it is believed that KIDS could be developed to the point where it becomes economical to use for routine programming. To illustrate the use of KIDS, the author traces the derivation of an algorithm for enumerating solutions to the k-queens problem. The initial algorithm that KIDS designed takes about 60 minutes on a SUN-4/110 to find all 92 solutions to the 8-queens problem instance. The final optimized version finds the same solutions in under one second.