ABSTRACT Type Inference for COBOL Systems ∗

Automata and behaviours in categories of processes

B. P. F. Jacobs
Bart Jacobs

January 1996

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

1A Behavioral Approach to Singular Systems

V. Lomadze
M. S. Ravi
J. Rosenthal
J. M. Schumacher
Copyright Stichting
Mathematisch Centrum
V. Lomadze
M. S. Ravi
Joachim Rosenthal
J. M. Schumacher

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Finding Column Dependencies in Sparse Matrices over F 2

Block Wiedemann
O. Penninga
Copyright Stichting
Mathematisch Centrum
Block Wiedemann

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Objects and classes, coalgebraically

B. Jacobs
Bart Jacobs

January 1996

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Type inference for COBOL systems

Arie Van Deursen

January 1998

Types are a good starting point for various software reengineering tasks. Unfortunately, programs re...

An empirical study into COBOL type inferencing

van Deursen, Arie
Moonen, Leon

July 2001

AbstractIn a typical COBOL program, the data division consists of 50% of the lines of code. Automati...

Understanding COBOL systems using inferred types

Deursen, A. (Arie) van
Moonen, L.M.F. (Leon)

January 1999

In a typical COBOL program, the data division consists of 50 of the lines of code. Automatic type in...

ABSTRACT

D. J. N. Van Eijck
Jan Van Eijck

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Type Inference for COBOL Systems

Arie Van Deursen
Leon Moonen

January 1998

Types are a good starting point for various software reengineering tasks. Unfortunately, programs re...

Coalgebra, concurrency, and control

J. J. M. M. Rutten
Issn -x
J. J. M. M. Rutten

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

www.elsevier.nl/locate/scico

Arie Van Deursen
Leon Moonen

January 2001

In a typical COBOL program, the data division consists of 50 % of the lines of code. Automatic type ...

ABSTRACT Metrics for Classifying Heterogeneous Objects

M. Bezem
K. Blok
M. Keijzer
Copyright Stichting
Mathematisch Centrum
Marc Bezem
Karnik Blok
Maarten Keijzer

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Analysis of three hybrid systems in timed µCRL

J. F. Groote
J. Van Wamel
Issn -x
Jan Friso Groote
Jos Van Wamel

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Extensionality of Simply Typed Logic Programs

M. A. Bezem
Marc Bezem

January 1999

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Statistical estimation of Poisson intensity functions

R. Helmers
I W. Mangku
Roelof Helmers
I Wayan Mangku

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Automata and behaviours in categories of processes

B. P. F. Jacobs
Bart Jacobs

January 1996

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

1A Behavioral Approach to Singular Systems

V. Lomadze
M. S. Ravi
J. Rosenthal
J. M. Schumacher
Copyright Stichting
Mathematisch Centrum
V. Lomadze
M. S. Ravi
Joachim Rosenthal
J. M. Schumacher

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Finding Column Dependencies in Sparse Matrices over F 2

Block Wiedemann
O. Penninga
Copyright Stichting
Mathematisch Centrum
Block Wiedemann

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Objects and classes, coalgebraically

B. Jacobs
Bart Jacobs

January 1996

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Type inference for COBOL systems

Arie Van Deursen

January 1998

Types are a good starting point for various software reengineering tasks. Unfortunately, programs re...

An empirical study into COBOL type inferencing

van Deursen, Arie
Moonen, Leon

July 2001

AbstractIn a typical COBOL program, the data division consists of 50% of the lines of code. Automati...

Understanding COBOL systems using inferred types

Deursen, A. (Arie) van
Moonen, L.M.F. (Leon)

January 1999

In a typical COBOL program, the data division consists of 50 of the lines of code. Automatic type in...

ABSTRACT

D. J. N. Van Eijck
Jan Van Eijck

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Type Inference for COBOL Systems

Arie Van Deursen
Leon Moonen

January 1998

Types are a good starting point for various software reengineering tasks. Unfortunately, programs re...

Coalgebra, concurrency, and control

J. J. M. M. Rutten
Issn -x
J. J. M. M. Rutten

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

www.elsevier.nl/locate/scico

Arie Van Deursen
Leon Moonen

January 2001

In a typical COBOL program, the data division consists of 50 % of the lines of code. Automatic type ...

ABSTRACT Metrics for Classifying Heterogeneous Objects

M. Bezem
K. Blok
M. Keijzer
Copyright Stichting
Mathematisch Centrum
Marc Bezem
Karnik Blok
Maarten Keijzer

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Analysis of three hybrid systems in timed µCRL

J. F. Groote
J. Van Wamel
Issn -x
Jan Friso Groote
Jos Van Wamel

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Extensionality of Simply Typed Logic Programs

M. A. Bezem
Marc Bezem

January 1999

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Statistical estimation of Poisson intensity functions

R. Helmers
I W. Mangku
Roelof Helmers
I Wayan Mangku

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Automata and behaviours in categories of processes

B. P. F. Jacobs
Bart Jacobs

January 1996

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

1A Behavioral Approach to Singular Systems

V. Lomadze
M. S. Ravi
J. Rosenthal
J. M. Schumacher
Copyright Stichting
Mathematisch Centrum
V. Lomadze
M. S. Ravi
Joachim Rosenthal
J. M. Schumacher

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Finding Column Dependencies in Sparse Matrices over F 2

Block Wiedemann
O. Penninga
Copyright Stichting
Mathematisch Centrum
Block Wiedemann

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

ABSTRACT Type Inference for COBOL Systems ∗

Abstract

Extracted data

ABSTRACT Type Inference for COBOL Systems ∗

Abstract

Extracted data

Topics

Related items

Topics

Related items