KIDS: A Semi-Automatic Program Development System (1990)

by Douglas R. Smith
Venue:Client Resources on the Internet, IEEE Multimedia Systems ’99
Citations:240 - 23 self

Active Bibliography

74 KIDS - A Knowledge-Based Software Development System – Douglas R. Smith - 1990
41 Constructing Specification Morphisms – Douglas R. Smith - 1993
10 Program synthesis – Christoph Kreitz - 1998
14 Reusing Software Developments – Allen Goldberg - 1990
44 A Survey and Classification of some Program Transformation Approaches and Techniques – Martin S. Feather - 1987
12 Structure and Design of Problem Reduction Generators – Douglas R. Smith - 1991
1 The Greedy Algorithms Class: Formalization, Synthesis and Generalization – Bruno Charlier - 1995
12 Application Generators – Yannis Smaragdakis, Don Batory - 2000
8 Formal mathematics for verifiably correct program synthesis – Christoph Kreitz, Fachgebiet Intellektik, Fachbereich Informatik, Technische Hochschule Darmstadt - 1996
47 Algorithm theories and design tactics – Douglas R. Smith, Michael R. Lowry - 1990
39 Deriving incremental programs – Yanhong A. Liu, Tim Teitelbaum - 1993
26 Mechanical Translation of Set Theoretic Problem Specifications Into Efficient RAM Code - A Case Study – Robert Paige, Fritz Henglein - 1985
31 Transformational Approach to Transportation Scheduling – Douglas R. Smith, Eduardo A. Parra - 1993
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
3 Synthesis of Fast Programs for Maximum Segment Sum Problems – Srinivas Nedunuri, William R. Cook
13 A Multi-Level Approach to program Synthesis – W. Bibel , et al. - 1998
11 Process Programming by Hindsight – Pankaj Garg, Sanjay Bhansali - 1992
3 SETL for Internet Data Processing – David Bacon - 2000
26 Reformulating Software Engineering as a Search Problem – John Clarke, Bryan Jones, Kearton Rees, Mary Lumkin, et al.