Partial Evaluation for Software Engineering

C. Consel; L. Hornof; R. Marlet; G. Muller; S. Thibault; E. N. Volanschi; J. Lawall; J. Noyé

doi:10.1145/289121.289141

Partial Evaluation for Software Engineering

C. Consel
, L. Hornof
, R. Marlet
, G. Muller
, S. Thibault
, E. N. Volanschi
, J. Lawall
, J. Noyé

IRISA
Oberlin College and Conservatory
ENST Bretagne

Research output: Contribution to journal › Article › peer-review

Abstract

Up to now, partial evaluation has focused on the specialization process. Less attention has been devoted to validating the technology on concrete applications. This paper presents methods that are essential to integrate partial evaluation into the software engineering process, either explicitly by declaring specialization opportunities, or implicitly by using software architectures and mechanisms that are known to expose predictable specialization opportunities.

Original language	English
Pages (from-to)	1-6
Number of pages	6
Journal	ACM Computing Surveys
Volume	30
Issue number	3
DOIs	https://doi.org/10.1145/289121.289141
Publication status	Published - 1 Sept 1998
Externally published	Yes

Access to Document

10.1145/289121.289141

Cite this

@article{ea04de6fb50a4dce8ccd5e5909398291,

title = "Partial Evaluation for Software Engineering",

abstract = "Up to now, partial evaluation has focused on the specialization process. Less attention has been devoted to validating the technology on concrete applications. This paper presents methods that are essential to integrate partial evaluation into the software engineering process, either explicitly by declaring specialization opportunities, or implicitly by using software architectures and mechanisms that are known to expose predictable specialization opportunities.",

author = "C. Consel and L. Hornof and R. Marlet and G. Muller and S. Thibault and Volanschi, \{E. N.\} and J. Lawall and J. Noy{\'e}",

year = "1998",

month = sep,

day = "1",

doi = "10.1145/289121.289141",

language = "English",

volume = "30",

pages = "1--6",

journal = "ACM Computing Surveys",

issn = "0360-0300",

number = "3",

}

TY - JOUR

T1 - Partial Evaluation for Software Engineering

AU - Consel, C.

AU - Hornof, L.

AU - Marlet, R.

AU - Muller, G.

AU - Thibault, S.

AU - Volanschi, E. N.

AU - Lawall, J.

AU - Noyé, J.

PY - 1998/9/1

Y1 - 1998/9/1

N2 - Up to now, partial evaluation has focused on the specialization process. Less attention has been devoted to validating the technology on concrete applications. This paper presents methods that are essential to integrate partial evaluation into the software engineering process, either explicitly by declaring specialization opportunities, or implicitly by using software architectures and mechanisms that are known to expose predictable specialization opportunities.

AB - Up to now, partial evaluation has focused on the specialization process. Less attention has been devoted to validating the technology on concrete applications. This paper presents methods that are essential to integrate partial evaluation into the software engineering process, either explicitly by declaring specialization opportunities, or implicitly by using software architectures and mechanisms that are known to expose predictable specialization opportunities.

UR - https://www.scopus.com/pages/publications/84947752840

U2 - 10.1145/289121.289141

DO - 10.1145/289121.289141

M3 - Article

AN - SCOPUS:84947752840

SN - 0360-0300

VL - 30

SP - 1

EP - 6

JO - ACM Computing Surveys

JF - ACM Computing Surveys

IS - 3

ER -

Partial Evaluation for Software Engineering

Abstract

Access to Document

Other files and links

Fingerprint

Cite this