756 search results - page 2 / 152 » Understanding COBOL Systems using Inferred Types |
IWPC
2000
IEEE
13 years 12 months ago
2000
IEEE
We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for COBOL yields the types for variables and program parameter...
IRI
2005
IEEE
14 years 1 months ago
2005
IEEE
Many legacy systems were developed in COBOL, which still play an important role in business. It is an unavoidable issue for organisations to maintain or replace these COBOL system...
ECOOP
2012
Springer
11 years 10 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
ICSM
2003
IEEE
14 years 25 days ago
2003
IEEE
As systems evolve, they become harder to understand because the implementation of concepts (e.g. business rules) becomes less coherent. To preserve source code comprehensibility, ...
ICFP
2001
ACM
14 years 7 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...