677 search results - page 24 / 136 » Dependent Types from Counterexamples |
ENTCS
2008
14 years 9 months ago
2008
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
69
Voted
DOCENG
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we show how a domain dependent know-how textual database of advices and warnings can be constructed from procedural texts. We show how arguments of type warnings an...
CMSB
2006
Springer
15 years 1 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
VMV
2001
14 years 11 months ago
2001
Visual-geometric scene reconstructions capture the visual appearance and geometry of real 3D scenes from image streams. Depending on the type of camera motion and type of scene st...
SRDS
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper describes a fault detection mechanism that uses the error codes returned by the stream sockets to locate process failures. Since these errors are generated automaticall...