loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th IEEE International Conference on Automated Software Engineering (ASE'97) (formerly: KBSE)
Mapping software architectures to efficient implementations via partial evaluation
Lake Tahoe, CA
November 02-November 05
ISBN: 0-8186-7961-1
R. Marlet, IRISA/INRIA, Rennes I Univ., France
S. Thibault, IRISA/INRIA, Rennes I Univ., France
C. Consel, IRISA/INRIA, Rennes I Univ., France
Flexibility is recognized as a key feature in structuring software, and many architectures have been designed to that effect. However, they often come with performance and code size overhead, resulting in a flexibility vs. efficiency dilemma. The source of inefficiency in software architectures can be identified in the data and control integration of components, because flexibility is present not only at the design level but also in the implementation. We propose the use of program specialization in software engineering as a systematic way to improve performance and in some cases, to reduce program size. In particular, we advocate the use of partial evaluation, which is an automatic technique to produce efficient, specialized instances of generic programs. We study several representative, flexible mechanisms found in software architectures: selective broadcast, pattern matching, interpreters, layers, and generic libraries. We show how partial evaluation can systematically be applied in order to optimize those mechanisms.
Index Terms:
software engineering; software architectures; partial evaluation; code size overhead; inefficiency; program specialization; software engineering; generic programs; flexible mechanisms; selective broadcast; pattern matching; interpreters; layers; generic libraries
Citation:
R. Marlet, S. Thibault, C. Consel, "Mapping software architectures to efficient implementations via partial evaluation," ase, pp.183, 12th IEEE International Conference on Automated Software Engineering (ASE'97) (formerly: KBSE), 1997
Usage of this product signifies your acceptance of the Terms of Use.