1999 search results - page 33 / 400 » Dependently Typed Grammars |
117
click to vote
ENTCS
2008
15 years 2 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
105
click to vote
FLAIRS
2008
15 years 4 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
115
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
77
Voted
ER
2009
Springer
15 years 8 months ago
2009
Springer
