184 search results - page 1 / 37 » Decision Procedures for Algebraic Data Types with Abstractio... |
POPL
2010
ACM
14 years 2 months ago
2010
ACM
JSAT
2007
13 years 4 months ago
2007
CSL
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
VMCAI
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
MFCS
2000
Springer
13 years 8 months ago
2000
Springer