Type Analysis for CHIP

  title={Type Analysis for CHIP},
  author={Wlodzimierz Drabent and Pawel Pietrzak},
The paper presents a proposal for type analysis for CLP languages and shows its application to the CHIP language. Our approach is based on descriptive types and adopts some techniques developed for LP. We are mainly interested in types approximating operational semantics, given by the set of procedure calls and successes that appear during computations. We also consider approximating the declarative semantics. The types dealt with in this work are sets of constrained terms. This makes it… CONTINUE READING