journal articleLitStream CollectionLogical framework based program developmentBasin, David1998 ACM Computing Surveys (CSUR)doi: 10.1145/289121.289122pmid: N/A
journal articleLitStream CollectionEquations as a uniform framework for partial evaluation and abstract interpretationField, J.; Heering, J.; Dinesh, T. B.1998 ACM Computing Surveys (CSUR)doi: 10.1145/289121.289123pmid: N/A
journal articleLitStream CollectionProgram specialization vs. program compositionKlimov, Andrei1998 ACM Computing Surveys (CSUR)doi: 10.1145/289121.289124pmid: N/A
journal articleLitStream CollectionSome achievements and prospects in partial deductionLeuschel, Michael; Martens, B.; de Schreye, D.1998 ACM Computing Surveys (CSUR)doi: 10.1145/289121.289125pmid: N/A
journal articleLitStream CollectionInherited limitsMogensen, Torben1998 ACM Computing Surveys (CSUR)doi: 10.1145/289121.289126pmid: N/A
journal articleLitStream CollectionProgram specialization via algorithmic unfold/fold transformationsPettorossi, Alberto; Proietti, Maurizio1998 ACM Computing Surveys (CSUR)doi: 10.1145/289121.289127pmid: N/A
journal articleLitStream CollectionProgram transformation in calculational formTakano, Akihiko; Hu, Zhenjiang; Takeichi, Masato1998 ACM Computing Surveys (CSUR)doi: 10.1145/289121.289128pmid: N/A
journal articleLitStream CollectionModal types as staging specifications for run-time code generationWickline, Philip; Lee, Peter; Pfenning, Frank; Davies, Rowan1998 ACM Computing Surveys (CSUR)doi: 10.1145/289121.289129pmid: N/A
journal articleLitStream CollectionA unifying view of functional and logic program specializationAlpuente, Maria; Falaschi, Moreno; Vidal, German1998 ACM Computing Surveys (CSUR)doi: 10.1145/289121.289130pmid: N/A
journal articleLitStream CollectionOptimizing modular logic languagesBugliesi, Michele; Ciampolini, Anna; Lamma, Evelina; Mello, Paola1998 ACM Computing Surveys (CSUR)doi: 10.1145/289121.289131pmid: N/A