Program Adaptation via Output-Constraint Specialization

  title={Program Adaptation via Output-Constraint Specialization},
  author={Siau-Cheng Khoo and Kun Shi},
  journal={Higher-Order and Symbolic Computation},
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… CONTINUE READING
1 Citations
24 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 24 references

and K

  • S. C. Kho
  • Shi. Output Constraint Spe ialization In ACM SIG…
  • 2002

rensen. From he king to inferen e via driving and dag grammars

  • Jens Peter Se her, S MortenHeine
  • In Peter Thiemann, editor,
  • 2002

Deriving pre- onditions for array bound he k elimination

  • W. N. Chin, S. C. Khoo, D. X. Xu
  • In Pro eedings of the Se ond Symposium on…
  • 2001
1 Excerpt

sli ing based on spe i ation

  • I. S. Chung, W. K. Lee, G. S. Yoon, Y. R. Kwon Progra
  • In Pro eedings of 2001 ACM Symposium on Applied…
  • 2001
1 Excerpt

Safety he king of ma hine ode

  • Z. Xu, B. P. Miller, T. Reps
  • In ACM SIGPLAN Conf. on Programming Language…
  • 2000

Dependent Types in Pra ti al Programming

  • H. Xi
  • PhD thesis, Carnegie Mellon University,
  • 1998

Similar Papers

Loading similar papers…