Twelf(Q): Adding Rationals to Twelf
General Overview
Applications
Twelf Architecture
Twelf(Q) Architecture
Constraint Solver Definition
Operational Semantic
Solver for Linear Equalities
Solver for Linear Inequalities
Simplex Algorithm
Future Plans
Email: rvirga+@cs.cmu.edu
Home Page: http://www.cs.cmu.edu/~rvirga/
Download presentation source