2646 search results - page 138 / 530 » Local Type Inference |
140
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
144
click to vote
POPL
1992
ACM
15 years 8 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
110
click to vote
JSAT
2006
15 years 4 months ago
2006
In this note we construct a family of SAT-instance based on Eulerian graphs which are aimed at being hard for resolution based SAT-solvers. We discuss some experiments made with i...
133
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
142
click to vote
CADE
1992
Springer
15 years 8 months ago
1992
Springer
e introducing the types and constants of the logic, i.e. its abstract syntax, and axioms describing the inference rules. As a tiny example, consider the following definition of min...