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