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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.