Provably Correct Systems

Informazioni relative al progetto

PROCOS

ID dell’accordo di sovvenzione: 3104

Progetto chiuso

Data di avvio 1 Maggio 1989

Data di completamento 29 Febbraio 1992

Finanziato da

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

Costo totale

Nessun dato

Contributo UE

Nessun dato

Coordinato da

DANMARKS TEKNISKE HOJSKOLE
Denmark

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Other (1)

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

Autori: 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))
Pubblicato in: EXTRACT: ESPRIT '90 : CONFERENCE PROCEEDINGS (1990) PP. 804-818 (EUR 13148) KLUWER ACADEMIC PUBLISHERS GROUP, PO BOX 322, 3300 AH DORDRECHT (NL), 1990, Pagina/e 804-818