432 search results - page 12 / 87 » Type Inference for COBOL Systems |
132
Voted
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
109
click to vote
CBMS
2009
IEEE
15 years 10 months ago
2009
IEEE
The category of institution or organization underwriting the research reported in a scientific article is a required field (Grant Support type) in the bibliographic record of that...
137
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
118
Voted
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
119
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...