J.P. Bowen, C.A.R. Hoare, H. Langmaack E.-R. Olderog and A.P. Ravn, A ProCoS-WG Working Group Final Report: ESPRIT Working Group 8694. Bulletin of the European Association for Theoretical Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Hardware Compilation: Verification and Rapid-prototyping - Bowen, He (1999) (Correct)
....processes. Finally, Section 6 presents a logic programming implementation of the compiling scheme which matches the theorems very directly, followed by some conclusions. 2 Introduction This work originated from the ESPRIT ProCoS project and Working Group on Provably Correct Systems [17]. The original ProCoS project [5] concentrated almost exclusively on the verification of standard compilation of a high level programming language (based on Occam [40] down to a microprocessor (based on the Transputer) However, towards the end of the first phase of the project, a new research ....
J.P. Bowen, C.A.R. Hoare, H. Langmaack E.-R. Olderog and A.P. Ravn, A ProCoS-WG Working Group Final Report: ESPRIT Working Group 8694. Bulletin of the European Association for Theoretical
Hardware Compilation: Verification and Rapid-prototyping - Bowen, He (1999) (Correct)
....processes. Finally, Section 6 presents a logic programming implementation of the compiling scheme which matches the theorems very directly, followed by some conclusions. 2 Introduction This work originated from the ESPRIT ProCoS project and Working Group on Provably Correct Systems [15]. The original ProCoS project [5] concentrated almost exclusively on the verification of standard compilation of a high level programming language (based on Occam [35] down to a microprocessor (based on the Transputer) However, towards the end of the first phase of the project, a new research ....
J.P. Bowen, C.A.R. Hoare, H. Langmaack E.-R. Olderog and A.P. Ravn, A ProCoS-WG Working Group Final Report: ESPRIT Working Group 8694. Bulletin of the European Association for Theoretical Computer Science (EATCS) 64 (1998) 63--72.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC