432 search results - page 7 / 87 » Type Inference for COBOL Systems |
124
click to vote
COOPIS
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
106
Voted
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
136
click to vote
POPL
1993
ACM
15 years 7 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
107
click to vote
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
120
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...