Program Generalization for Software Reuse: From C to C++

See this document in CiteSeerX!

Program Generalization for Software Reuse: From C to C++ (1996) (Make Corrections) (15 citations)
Michael Siff, Thomas RepsFoundations of Software Engineering

Home/Search Context Related

View or download:
wisc.edu/wpis/papers/tr1315.ps
Cached: PS.gz PS PDF Image Update Help

From: wisc.edu/wpis/papers/ (more)
(Enter author homepages)

Rate this article:

(best)
Comment on this article

(Enter summary)
Abstract: We consider the problem of software generalization: Given a program component C, create a parameterized program component C is usable in a wider variety of syntactic contexts than C. Furthermore, C should be a semantically meaningful generalization of C; namely, there must exist an instantiation of C that is equivalent in functionality to C. (Update)

Similar documents based on text:
0.0: Unknown - (Correct)

BibTeX entry: (Update)

Michael Siff and Thomas Reps. Program generalization for software reuse: From C to C++. In Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 135--146, San Francisco, October 1996. http://citeseer.ist.psu.edu/siff96program.html More

@inproceedings{ siff96program,
    author = "Michael Siff and Thomas W. Reps",
    title = "Program Generalization for Software Reuse: From C to C++",
    booktitle = "Foundations of Software Engineering",
    pages = "135-146",
    year = "1996",
    url = "citeseer.ist.psu.edu/siff96program.html" }

Citations (may not include all citations):
809 A theory of type polymorphism in programming (context) - Milner - 1978
461 Programming Language (context) - Stroustrup - 1991
390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
227 Kernighan and Dennis M (context) - Brian - 1988
186 The program dependence graph in a software development envir.. (context) - Ottenstein, Ottenstein - 1984
160 The principal type-scheme of an object in combinatory logic (context) - Hindley - 1969
139 Type systems for programming languages (context) - Mitchell - 1990
128 On understanding types (context) - Cardelli, Wegner - 1985
80 Reusing software: Issues and research directions - Mili, Mili et al. - 1995
27 Software salvaging and the call dominance tree (context) - Cimitile, Visaggio - 1995
16 Towards an ML-style polymorphic type system for C - Smith, Volpano - 1996
10 Polymorphic components for monomorphic languages (context) - Grosch, Snelting - 1993
9 Signature matching: a tool for using software libraries - Zaremski, Wing - 1995
7 Detecting shared representations using type inference (context) - O'Callahan, Jackson - 1995

[Article contains additional citations not shown here]

The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://www.cs.wisc.edu/wpis/papers/): More
Modular Pointer Analysis - Susan Horwitz And (Correct)
Weighted Pushdown Systems and Weighted Transducers - Lal, Touili, Kidd, Reps (Correct)
Abstraction Refinement via Inductive Learning - Alexey Loginov Thomas (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