Provably Correct Systems

Informations projet

PROCOS

N° de convention de subvention: 3104

Projet clôturé

Date de début 1 Mai 1989

Date de fin 29 Février 1992

Financé au titre de

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

Coût total

Aucune donnée

Contribution de l’UE

Aucune donnée

Coordonné par

DANMARKS TEKNISKE HOJSKOLE
Denmark

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Other (1)

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

Auteurs: 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))
Publié dans: 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