432 search results - page 9 / 87 » Type Inference for COBOL Systems |
TLDI
2003
ACM
14 years 26 days ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
MSCS
2008
13 years 7 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
TCS
2008
13 years 7 months ago
2008
Interpretation and Types for Systems Biology Fran
DLS
2009
13 years 5 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...