Theory and applications of subtyping systems for proof development, programming, and interactive processes

Project Information

Grant agreement ID: FMBI950319

Project closed

Start date 1 July 1996

End date 30 June 1998

Funded under

• Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998

Total cost € 0,00

EU contribution No data

Coordinated by

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom

Objective

I propose to study subtyping, a primitive relation important to many different areas of computer science, including software specification, object-oriented programming, modular software design, and
computer-assisted proof.
My first research goal is to study subtyping systems for programming languages. Sustained research over the last decade has led recently to powerful new type systems for a broad range of object-oriented features. MY research will have applications to Standard ML1S successor ML2000 and to object calculi.
My second research goal is to provide a theoretical basis for enriching proof-checking systems with subtyping. Existing proof checkers, such as LEGO, COQ, and ALF do not incorporate subtyping because we do not understand the interaction between subtyping and dependent types. I propose to study this interaction in a type system incorporating these two features.
My third research goal is to investigate the applications of typing and subtyping in concurrency.

Fields of science

• natural sciences › computer and information sciences › software

Programme(s)

• FP4-TMR - Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998

Topic(s)

• 0302 - Post-doctoral research training grants
• TM26 - Logic and Semantics

Call for proposal

Data not available

Funding Scheme

RGI - Research grants (individual fellowships)

Coordinator

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE

• EU contribution: No data
• Address: Pembroke Street, New Museums Site ; CB2 3QG CAMBRIDGE ; United Kingdom
• Total cost: No data

Participants (1)

Not available

Italy

• EU contribution: No data
• Total cost: No data