479 search results - page 37 / 96 » Sound and Complete Type Inference for a Systems Programming ... |
127
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
127
click to vote
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
136
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
117
click to vote
ENTCS
2006
15 years 2 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
116
Voted
POPL
1999
ACM
15 years 7 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...