Provably Correct Systems

Projektinformationen

PROCOS

ID Finanzhilfevereinbarung: 3104

Projekt abgeschlossen

Startdatum 1 Mai 1989

Enddatum 29 Februar 1992

Finanziert unter

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

Gesamtkosten € 0,00

EU-Beitrag Keine Daten

Koordiniert durch

DANMARKS TEKNISKE HOJSKOLE
Denmark

Veröffentlichungen

Other (1)

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

Autoren: 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))
Veröffentlicht in: EXTRACT: ESPRIT '90 : CONFERENCE PROCEEDINGS (1990) PP. 804-818 (EUR 13148) KLUWER ACADEMIC PUBLISHERS GROUP, PO BOX 322, 3300 AH DORDRECHT (NL), 1990, Seite(n) 804-818