432 search results - page 45 / 87 » Type Inference for COBOL Systems |
FUZZIEEE
2007
IEEE
14 years 2 months ago
2007
IEEE
—Sailing experts can explain basic sailing skills by rules about how to steer sails and rudder according to direction of target and wind. This paper describes how to transform th...
EJC
2006
13 years 9 months ago
2006
With development of knowledge bases (KB) there appeared expert systems that use KBs to support them in decision making process. Decision Support Systems, that are the subject of th...
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
ENTCS
2006
13 years 7 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
POPL
1992
ACM
13 years 11 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...