Arie van Deursen, Leon Moonen  Home/Search
Context Related
| cwi.nl/~arie/papers/types.ps cwi.nl/ftp/CWIreports/...SENR9813.ps.Z cwi.nl/~leon/papers/wcre...wcre98.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cwi.nl/~arie/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adequate type system (such as COBOL). To solve this problem, we propose a method of automated type inference for these languages. The main ingredients are that if variables are compared using some relational operator their types must be the same; likewise if an expression is assigned to a variable, the type of the... (Update)
Context of citations to this paper: More
...COBOL SQL systems. We refer to [15] where cluster analysis technology is implemented to detect classes in legacy COBOL CICS code. We refer to [16] where a type inference method is implemented for COBOL with embedded CICS. We refer to [47] where sophisticated restructuring on a...
...are needed to understand the myriads of different variables, but that the COBOL language does not support the notion of types. In [4], we have proposed a solution to this problem. Instead of deriving type information from the data division, we infer types from the usage of...
Cited by: More
Architectural Modifications to Deployed Software - Lämmel, Verhoef (2004) (Correct)
Term Rewriting With Traversal Functions - van den Brand, Klint, Vinju (2001) (Correct)
Lightweight Impact Analysis using Island Grammars - Moonen (2002) (Correct)
Active bibliography (related documents): More All
0.6: Research Issues in the Renovation of Legacy Systems - van Deursen, Klint, Verhoef (1999) (Correct)
0.4: Program Plan Recognition For Year 2000 Tools - van Deursen, Quilici, Woods (1999) (Correct)
0.4: Control Flow Normalization for COBOL/CICS Legacy Systems - van den Brand, Sellink.. (1997) (Correct)
Similar documents based on text: More All
1.1: Publications - Moonen (2002) (Correct)
1.0: Understanding COBOL Systems using Inferred Types - van Deursen, Moonen (Correct)
0.4: Legacy to the Extreme - van Deursen, Kuipers, Moonen (2000) (Correct)
Related documents from co-citation: More All
11: Generation of components for software renovation factories from context-free gra.. - van den Brand, Sellink et al. - 2000
6: Aggregate structure identification and its application to program analysis - Ramalingam, Field et al. - 1999
4: The syntax definition formalism SDF - reference manual - Heering, Hendriks et al. - 1989
BibTeX entry: (Update)
A. van Deursen and L. Moonen. Type inference for COBOL systems. In Proceedings of the fifth Working Conference on Reverse Engineering, WCRE'98, pages 220--230. IEEE Computer Society, 1998. http://citeseer.ist.psu.edu/vandeursen98type.html More
@incollection{ vandeursen98type,
author = "Arie van Deursen and Leon M. F. Moonen",
title = "Type inference for {COBOL} systems",
booktitle = "360",
month = "31",
publisher = "Centrum voor Wiskunde en Informatica (CWI)",
address = "ISSN 1386-369X",
pages = "12",
year = "1998",
url = "citeseer.ist.psu.edu/vandeursen98type.html" }
Citations (may not include all citations):232 Constant propagation with conditional branches (context) - Wegman, Zadeck - 1991
191 A meta-environment for generating programming environments (context) - Klint - 1993
90 Type systems - Cardelli - 1997
35 Lackwit: A program understanding tool based on type inferenc.. - O'Callahan, Jackson - 1997
22 Native patterns - Sellink, Verhoef - 1998
20 Language Prototyping: An Algebraic Specification Approach (context) - van Deursen, Heering et al. - 1996
18 Reengineering procedural into object-oriented systems (context) - Newcomb, Kottik - 1995
16 A generic architecture for data flow analysis to support rev.. - Moonen - 1997
15 A unified framework for expressing software subsystem classi.. - Lakhotia - 1997
10 Industrial applications of ASF+SDF - van den Brand, van Deursen et al. - 1996
10 Generation of components for software renovation factories f.. (context) - van den Brand, Sellink et al. - 1997
8 Rapid system understanding: Two COBOL case studies (context) - van Deursen, Kuipers - 1998
8 Scenarios for the identification of objects in legacy system.. (context) - Wiggerts, Bosma et al. - 1997
7 Multi-valued constant propagation analysis for user interfac.. (context) - Merlo, Girard et al. - 1995
4 Automatic variable classification for COBOL programs (context) - Chen, Tsai et al. - 1994
4 Obtaining a COBOL grammar from legacy code for reengineering.. - van den Brand, Sellink et al. - 1997
1 Identifying enumeration types modeled with symbolic constant.. - Gravley, Lakhotia - 1996
1 Architecture and functions of a commercial reengineering wor.. (context) - Sneed - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cwi.nl/~arie/papers/): More
The Leap Year Problem - van Deursen (1998) (Correct)
Origin Tracking for Higher-Order Term Rewriting Systems - van Deursen, Dinesh (1993) (Correct)
Rapid System Understanding: Two COBOL Case Studies - van Deursen, Kuipers (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC