184 search results - page 1 / 37 » Decision Procedures for Algebraic Data Types with Abstractio... |
133
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
103
Voted
JSAT
2007
15 years 3 months ago
2007
127
click to vote
CSL
2010
Springer
15 years 4 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...
170
Voted
VMCAI
2010
Springer
16 years 28 days 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...
116
Voted
MFCS
2000
Springer
15 years 7 months ago
2000
Springer