Provably Correct Systems

Project Information

PROCOS

Grant agreement ID: 3104

Project closed

Start date 1 May 1989

End date 29 February 1992

Funded under

• European strategic programme (EEC) for research and development in information technologies (ESPRIT), 1987-1992

Total cost € 0,00

EU contribution No data

Coordinated by

DANMARKS TEKNISKE HOJSKOLE
Denmark

Publications

Other (1)

AN ALGEBRAIC APPROACH TO VERIFIABLE COMPILING SPECIFICATION AND PROTOTYPING OF THE PROCOS LEVEL 0 PROGRAMMING LANGUAGE

Author(s): HOARE C A R (OXFORD UNIVERSITY COMPUTING LABORATORY, PROGRAMMING RESEARCH GROUP (GB)), JIFENG H (OXFORD UNIVERSITY COMPUTING LABORATORY, PROGRAMMING RESEARCH GROUP (GB)), BOWEN J (OXFORD UNIVERSITY COMPUTING LABORATORY, PROGRAMMING RESEARCH GROUP (GB))
Published in: EXTRACT: ESPRIT '90 : CONFERENCE PROCEEDINGS (1990) PP. 804-818 (EUR 13148) KLUWER ACADEMIC PUBLISHERS GROUP, PO BOX 322, 3300 AH DORDRECHT (NL), 1990, Page(s) 804-818