Type Analysis for CHIP

  title={Type Analysis for CHIP},
  author={Wlodzimierz Drabent and Pawel Pietrzak},
This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speciica-tion that approximates the semantics of a given program. The semantics of interest is an operational \call-success" semantics. The main intended application is program debugging. We consider a restricted class of spec-iications, which are regular types of constrained atoms. Our type inference approach is based on bottom-up abstract interpretation , which is used… CONTINUE READING
7 Citations
17 References
Similar Papers

Similar Papers

Loading similar papers…