COORD CARH 1/1. Overview of ESPRIT ProCoS II Project, C.A.R. Hoare, H. Langmaack, E.-R. Olderog and A.P. Ravn, September 1993. (11 pages)
COORD JB 0/1. Example ProCoS II Document, Jonathan Bowen, November 1992. (4 pages)
COORD JB 2/1. Minutes of Project Meeting: Oxford 8/1/93 9.30 a.m. Jonathan Bowen, 8 January 1992.
COORD JB 3/1. Minutes of Project Meeting: Wiefelsede, Germany 23/9/93 9.00 a.m. Jonathan Bowen, 1 October 1993.
COORD JB 4/1. Minutes of Project Meeting: Gentofte, Denmark 21/1/94 9.00 a.m. Jonathan Bowen, 26 January 1994.
COORD JB 5/1.
A ProCoS II Project Description: ESPRIT Basic Research project
7071, Jonathan
Bowen et al.
Bulletin of the
European Association for Theoretical Computer Science
(EATCS),
50, pp 128-137, June
1993. (10 pages)
Also available in
on-line hypertext form.
COORD JB 6/1.
A ProCoS-WG Working Group Description: ESPRIT Basic Research
8694, Jonathan
Bowen et al.
Bulletin of the
European Association for Theoretical Computer Science
(EATCS),
53, pp 136-145, June
1994. (10 pages)
Also available in
on-line hypertext form.
COORD JB 7/1. Provably Correct Systems - FTRTFT'94 Tutorial, Jonathan Bowen, C.A.R. Hoare, Michael R. Hansen, Anders P. Ravn, Ernst-Rüdiger Olderog, Michael Schenke, Martin Fränzle, Markus Müller-Ulm, He Jifeng and Zheng Jianping. School Material, FTRTFT'94 Symposium, Lübeck, Germany, 19-23 September 1994. (100 pages)
COORD JB 8/1. Minutes of Project Meeting: Lyngby, Denmark 20/8/95 3.00 p.m. Jonathan Bowen, September 1995.
DTH APR 21/1. Developing Correct Systems, Jonathan Bowen, Martin Fränzle (Christian-Albrechts Universität zu Kiel, Germany), Ernst-Rüdiger Olderog (Universität Oldenburg, Germany), Anders P. Ravn (Technical University of Denmark). Invited special presentation. Proc. Fifth Euromicro Workshop on Real-Time Systems, Oulu, Finland, 22-24 June 1993. IEEE Computer Society Press, pp 176-187, 1993. (12 pages)
OU HJF 9/5. A Provably Correct Hardware Implementation of Occam, He Jifeng, Ian Page and Jonathan Bowen, November 1992. (25 pages)
OU HJF 15/1. Towards a Provably Correct Hardware Implementation of Occam, He Jifeng, Ian Page and Jonathan Bowen. In G.J. Milne and L. Pierre (eds.), Correct Hardware Design and Verification Methods, Proc. IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, France, 24-26 May 1993, Springer-Verlag, LNCS 683, pp 214-225, 1993. (12 pages)
OU IP 1/1. Compilation of Programs into Hardware: A Summary of
Current Research in the Oxford University Computing
Laboratory, Ian Page
and Wayne Luk, March 1993. (10
pages)
See also hardware compilation.
OU JB 8/1. Hardware Compilation of the Gas Burner Case Study. Jonathan Bowen, 11 October 1995. (9 pages)
PRG-110. An Algebraic Approach to Compiler Design, Augusto Sampaio, DPhil thesis, Programming Research Group Technical Monograph, October 1993.
Maintained by Jonathan Bowen as part of the ProCoS archive.