230 search results - page 1 / 46 » Type inference for datalog with complex type hierarchies |
POPL
2010
ACM
13 years 11 months ago
2010
ACM
POPL
1991
ACM
13 years 8 months ago
1991
ACM
ACSC
2001
IEEE
13 years 8 months ago
2001
IEEE
The integration of alias analysis with type information increases the precision of alias detection, especially for inheritance among classes. This paper presents a compile-time fl...
IFL
2001
Springer
13 years 9 months ago
2001
Springer
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
ICFP
2008
ACM
14 years 4 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...