Please use this identifier to cite or link to this item: https://doi.org/10.1023/B:LISP.0000029449.57959.bd
Title: Program adaptation via output-constraint specialization
Authors: Khoo, S.-C. 
Shi, K. 
Keywords: Partial evaluation
Specialization
Weakest pre-condition
Issue Date: 2004
Citation: Khoo, S.-C.,Shi, K. (2004). Program adaptation via output-constraint specialization. Higher-Order and Symbolic Computation 17 (1-2) : 93-128. ScholarBank@NUS Repository. https://doi.org/10.1023/B:LISP.0000029449.57959.bd
Abstract: In component-based software development, gluing of two software components is usually achieved by defining an interface specification, and creating wrappers on components to support the interface. We believe that interface specification provides useful information for specializing components. An interface may define constraints on a component's inputs, as well as on its outputs. In this paper, we propose a new approach to program specialization with respect to output constraints. We provide the form in which an efficient specialized program should be after such specialization, and consider a variant of partial evaluation to achieve it. In the process, we translate an output constraint into a characterization function for a component's input, and define a specializer that uses this characterization to guide the specialization process. We believe this work will broaden the scope of program specialization, and provide a framework for building more generic and versatile program adaptation techniques.
Source Title: Higher-Order and Symbolic Computation
URI: http://scholarbank.nus.edu.sg/handle/10635/41455
ISSN: 13883690
DOI: 10.1023/B:LISP.0000029449.57959.bd
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.