European Commission logo
English English
CORDIS - EU research results
Content archived on 2024-04-16

Programming language semantics and program logics


The ultimate goal of much research in computer science is to make feasible the use of formal methods in software development and verification. An essential prerequisite for achieving such a goal is to have program logics that can manage the variety and complexity of real programming languages. The proposed project focuses on two key issues regarding program logics:
- uniform presentation of programming languages and program logics, so that it will be easier to represent them in a logical
framework for computer-aided reasoning;
- modular approach to programming languages and program logics, so that one can manage a wide range of programming languages and corresponding program logics by a few reusable modules. We
expect to achieve these objectives by a close cooperation among the three sites involved, and by building upon recent work of the three responsible scientists. We expect fruitful interaction with two ESPRIT Bras, "Logical Frameworks" and "categorical Logic in Computer Science", and two UK SERC projects, "Logical and Semantical Frameworks", and "verifying ML programs using
Evaluation Logic".


Data not available

Call for proposal

Data not available


University of Edinburgh
EU contribution
No data
Mayfield Road
EH9 3JZ Edinburgh
United Kingdom

See on map

Total cost
No data

Participants (2)