26 search results - page 6 / 6 » Symbolic Pruning in a Structural Approach to Engineering Dra... |
POPL
2010
ACM
14 years 2 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...