Interacting with parametrized geometric objects using lambda-terms

  • Authors:

  • Jean-Francois Dufourd;Sven Luther

  • Affiliations:

  • Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection, Illkirch Cedex, France;Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection, Illkirch Cedex, France

  • Venue:
  • Proceedings of the seventh ACM symposium on Solid modeling and applications
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a framework for general parameterization in geometric modeling. We have adapted the &lgr;-calculus formalism to the geometrical model of the generalized maps embedded in the plane. We investigated how this allows us to parameterize geo-metric objects by size, shape or position but also by other objects or operators. Thus, conditional, iterative, recursive and shared objects can be built and managed in an homogenous way. We have based the study on an interactive prototype implemented in Objective Caml. Its interface offers two consistent working views. The first interacts with geometric objects while the second interacts with the corresponding programs. We have examined in detail various higher-order operations and constructions where &lgr;-calculus abstraction and application are used extensively.