432 search results - page 10 / 87 » Type Inference for COBOL Systems |
134
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
113
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
150
Voted
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
136
Voted
ASIAN
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
138
Voted
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...