Blaine, Lee and Goldberg, Allen, DTRE -- A Semi-Automatic Transformation System, in Constructing Programs from Specifications, B. Moller (ed.), North Holland, 1991. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Application Generators - Smaragdakis, Batory (2000) (1 citation) (Correct)
Industrial Applications of Software Synthesis via Category.. - Keith Williamson Michael (2001) (Correct)
The Use of Proof Plans for Transformation of Functional.. - Richardson (1996) (1 citation) (Correct)
Type Analysis and Data Structure Selection - Cai, Facon, Henglein, Paige.. (1991) (14 citations) (Correct)
Synthesis of High-Performance Transportation Schedulers - Smith, Parra, Westfold (1995) (9 citations) (Correct)
Composition Validation and Subjectivity in GenVoca Generators - Batory, Geraci (1997) (30 citations) (Correct)
Automating Changes of Data Type in Functional Programs - Julian Richards On (Correct)
Automating Changes of Data Type in Functional Programs - Julian Richards On (Correct)
Synthesis of Constraint Algorithms - Douglas Smith (1995) (1 citation) (Correct)
Subjectivity and Software System Generators - Batory (1995) (Correct)
Derivation of Parallel Sorting Algorithms - Smith (1993) (1 citation) (Correct)
SPECWARE: Formal Support for Composing Software - Srinivas, Jüllig (1995) (45 citations) (Correct)
Validating Component Compositions in Software System Generators - Batory, Geraci (1995) (12 citations) (Correct)
Validating Component Compositions in Software System Generators - Batory, Geraci (1995) (12 citations) (Correct)
Diagrams for Software Synthesis - Jüllig, Srinivas (1993) (11 citations) (Correct)
Composition Validation and Subjectivity in GenVoca Generators - Batory, Geraci (1997) (30 citations) (Correct)
Constructing Specification Morphisms - Smith (1993) (30 citations) (Correct)
Toward a Classification Approach to Design - Smith (1996) (12 citations) (Correct)
Structure and Design of Problem Reduction Generators - Smith (1991) (7 citations) (Correct)
Application Generators - Smaragdakis, Batory (2000) (1 citation) (Correct)
Transformational Approach to Transportation Scheduling - Smith, Parra (1993) (22 citations) (Correct)
Systems Synthesis: Towards a new paradigm and discipline for.. - Williamson (2001) (Correct)
From Recursion to Iteration: What Are the Optimizations? - Liu, Stoller (2000) (3 citations) (Correct)
Architectural Styles as Adaptors - Batory, al. (1999) (1 citation) (Correct)
Architectural Styles as Adaptors - Batory, al. (1999) (1 citation) (Correct)
Software System Generators, Transformation Systems, and Compilers - Don Batory (Correct)
A Refinement Approach to Visualization - Allen Goldberg Self-citation (Goldberg) (Correct)
Referential Opacity In Nondeterministic Data Refinement - Qian, Goldberg (1993) (7 citations) Self-citation (Goldberg) (Correct)
Planware - Domain-Specific Synthesis of.. - Blaine, Gilham.. (1998) (8 citations) Self-citation (Blaine) (Correct)
Referential Opacity In Nondeterministic Data Refinement - Qian, Goldberg (1993) (7 citations) Self-citation (Goldberg) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC