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

Keine Daten

EU-Beitrag

Keine Daten

Koordiniert durch

DANMARKS TEKNISKE HOJSKOLE
Denmark

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

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