Generic Operations and Partial Evaluation Using Models

Download Now Free registration required

Executive Summary

Model-driven software development is a promising new application area for partial evaluation. In this papers, the authors develop an approach to generic programming using models instead of types. The work is done in the context of Pummel, a first-order subset of Scheme with objects and monoid comprehensions. The authors define generic operations for validation, reading, and equality of values described by models. These generic operations are specialized to particular models by an online partial evaluator. The specializer can choose to residualize or execute imperative operations on objects, through a conditional binding time attribute.

  • Format: PDF
  • Size: 144.2 KB