Applications

• Touchstone Compiler

• Traditional CLP uses

  • Circuit analysis
  • Planning and scheduling

• Existing Twelf programs

For more information:

G. Necula

Compiling with Proofs

Ph.D. dissertation, Technical Report CMU-CS-98-154, Carnegie Mellon University, 1998

Previous slide

Next slide

Back to first slide

View graphic version