◄►The Ciao Preprocessor »

PART III - Extending CiaoPP

Author(s): The CLIP Group.

Subparts

  • Adding a new analysis domain to CiaoPP
  • Plug-in points for abstract domains
  • Simple groundness abstract domain

Global Links

  • Table of Contents
  • References
  • Copyright

Indices

  • Library/Module Index
  • Predicate/Method Index
  • Property Index
  • Regular Type Index
  • Declaration Index
  • Concept Index
  • Author Index
  • Global Index
◄► 
Generated with LPdoc using Ciao