James Hook, Jeffrey M. Bell  Home/Search
Context
Related
| ogi.edu/pub/pacsoft/final_r...design.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ogi.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Software Design for Reliability and Reuse (SDRR) is a program generation technology based on a core of reusable program transformation tools. This report outlines the top-level design of the tools constructed in the proof-of-concept demonstration project. The SDRR system was designed with goals of simplicity, redundant functionality, incremental development, interoperability, and structure preservation. To meet the requirements specification and accomplish these goals, a suite of tools was... (Update)
Active bibliography (related documents): More All
1.7: Developing a Low-Defect Software Product in a Research.. - Bell, McKinney (1995) (Correct)
1.7: Software Design for Reliability and Reuse: A.. - Bell, Bellegarde, .. (1994) (Correct)
1.3: Design Automation: Making Formal Methods Relevant - Walton, Hook (1995) (Correct)
Similar documents based on text: More All
0.3: Software Design for Reliability and Reuse: A.. - Bell, Bellegarde, .. (1994) (Correct)
0.3: Message Specification Language (MSL) - Hook, Walton (1995) (Correct)
0.2: Firstify - Bell (1995) (Correct)
BibTeX entry: (Update)
@misc{ hook-design,
author = "James Hook and Jeffrey M. Bell",
title = "Design of the SDRR Pipeline",
url = "citeseer.ist.psu.edu/article/hook95design.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
206 Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
184 Definitional interpreters for higher-order programming langu.. (context) - Reynolds - 1972
172 An introduction to the theory of lists (context) - Bird - 1986
138 Lectures on constructive functional programming (context) - Bird - 1988
131 A fold for all seasons - Sheard, Fegaras - 1993
106 The categorical abstract machine (context) - Cousineau - 1990
81 Algorithmics---towards programming as a mathematical activit.. (context) - Meertens - 1986
50 A Categorical Programming Language (context) - Hagino - 1987
42 Improving programs which recurse over multiple inductive str.. - Fegaras, Sheard et al. - 1994
41 Homomorphisms and promotability (context) - Malcolm - 1989
34 Lambda lifting: transforming programs to recursive equations - Johnsson - 1985
29 Software design for reliability and reuse: A proof-of-concep.. - Bell - 1994
28 A lexical analyzer generator for Standard ML (context) - Appel, Mattson et al. - 1994
18 Technical Report (context) - Cockett - 1992
17 The templates approach to software reuse (context) - Volpano, Kieburtz - 1989
16 An implementation of Reynold's defunctionalization method fo.. (context) - Bell - 1994
15 A tour of schism (context) - Consel - 1993
14 Software templates (context) - Volpano, Kieburtz - 1985
12 Oregon Graduate Institute (context) - Lewis, for et al. - 1994
11 Oregon Graduate Institute (context) - Hook, Kieburtz et al. - 1992
11 Writing programs that construct proofs (context) - Constable, Knoblock et al. - 1985
11 Oregon Graduate Institute (context) - Kieburtz, Lewis et al. - 1994
11 Oregon Graduate Institute (context) - Hook, Sheard et al. - 1993
8 Oregon Graduate Institute (context) - Sheard, Fegaras et al. - 1994
8 Oregon Graduate Institute (context) - Sheard, programming et al. - 1993
7 Higher-order removal: A modular approach (context) - Chin, Darlington - 1993
7 Program transformation and rewriting (context) - coise - 1991
6 Oregon Graduate Institute (context) - Consel, Manual et al. - 1992
6 SDRR project phase i final scientific and technical report (context) - Research - 1995
6 Technical Report CMU/SEI-89-TR-12 ESD-89-TR (context) - Plinta, Lee et al. - 1989
5 Programming with algebras - Kieburtz, Lewis - 1993
4 Oregon Graduate Institute (context) - coise, ASTRE et al. - 1991
4 Type parametric programming with compile-time reflection (context) - Sheard - 1993
4 Oregon Graduate Institute (context) - coise, issues et al. - 1994
3 Results of the sdrr validation experiment (context) - Kieburtz - 1995
3 Distributed as documentation with the compiler (context) - Appel, MacQueen et al. - 1987
2 and Christopher P (context) - Gordon, Milner - 1979
2 Application of a new software metric in a research environme.. (context) - Kotov - 1994
2 Astre: Towards a fully automated program transformation syst.. (context) - coise - 1994
2 Measurement final report (context) - Kotov - 1995
2 Guide to using CRML (context) - Sheard - 1993
1 Measurement plan for the OGI SDRR technology development and.. (context) - Research - 1993
1 Automatic transformations by rewriting techniques - coise - 1994
1 Technical plan for the OGI SDRR technology development and v.. (context) - Research - 1993
1 Oregon Graduate Institute (context) - Volpano, PhD - 1986
1 Induction and synthesis for automatic program transformation - coise - 1994
1 Program instantiator templates documentation (context) - Oliva - 1995
1 Program instantiator tool documentation (context) - Oliva - 1995
1 Meta-programming tools for ML - Sheard, Hook - 1994
1 ADL translator tool documentation (context) - Lewis - 1995
1 Distributed as documentation with ML-Yacc (context) - Tarditi, Appel et al. - 1991
1 Management plan for the OGI SDRR technology development and .. (context) - Research - 1993
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/cse.ogi.edu.html): More
A Meta-theory for Structured Presentations in the COC - Shulman (1997) (Correct)
Learning in Compositional Hierarchies: Inducing the Structure of.. - Utans (1994) (Correct)
When-clauses, Adverbs of quantification, and Focus - Johnston (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