TY - GEN
T1 - The refinement relation of graph-based generic programs extended abstract
AU - Lieberherr, Karl
AU - Patt-Shamir, Boaz
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.
PY - 2000
Y1 - 2000
N2 - This paper studies a particular variant of Generic Programming, called Adaptive Programming (AP).W e explain the approach taken by Adaptive Programming to attain the goals set for Generic Programming. Within the formalism of AP, we explore the important problem of refinement: given two generic programs, does one express a subset of the programs expressed by the other? We show that two natural definitions of refinement coincide, but the corresponding decision problem is computationally intractable (co-NP-complete).W e proceed to define a more restricted notion of refinement, which arises frequently in the practice of AP, and give an efficient algorithm for deciding it.
AB - This paper studies a particular variant of Generic Programming, called Adaptive Programming (AP).W e explain the approach taken by Adaptive Programming to attain the goals set for Generic Programming. Within the formalism of AP, we explore the important problem of refinement: given two generic programs, does one express a subset of the programs expressed by the other? We show that two natural definitions of refinement coincide, but the corresponding decision problem is computationally intractable (co-NP-complete).W e proceed to define a more restricted notion of refinement, which arises frequently in the practice of AP, and give an efficient algorithm for deciding it.
UR - http://www.scopus.com/inward/record.url?scp=84949205931&partnerID=8YFLogxK
U2 - 10.1007/3-540-39953-4_4
DO - 10.1007/3-540-39953-4_4
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84949205931
SN - 9783540410904
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 40
EP - 52
BT - Generic Programming - International Seminar on Generic Programming, 1998, Selected Papers
A2 - Jazayeri, Mehdi
A2 - Loos, Rudiger G.K.
A2 - Musser, David R.
PB - Springer Verlag
T2 - International Seminar on Generic Programming, 1998
Y2 - 27 April 1998 through 1 May 1998
ER -