Provably Correct Systems

Informacje na temat projektu

PROCOS

Identyfikator umowy o grant: 3104

Projekt został zamknięty

Data rozpoczęcia 1 Maja 1989

Data zakończenia 29 Lutego 1992

Finansowanie w ramach

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

Koszt całkowity

Brak danych

Wkład UE

Brak danych

Koordynowany przez

DANMARKS TEKNISKE HOJSKOLE
Denmark

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Other (1)

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

Autorzy: 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))
Opublikowane w: EXTRACT: ESPRIT '90 : CONFERENCE PROCEEDINGS (1990) PP. 804-818 (EUR 13148) KLUWER ACADEMIC PUBLISHERS GROUP, PO BOX 322, 3300 AH DORDRECHT (NL), 1990, Strona(/y) 804-818