7 search results - page 2 / 2 » A Single-Step Term-Graph Reduction System for Proof Assistan... |
197
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
209
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...