A Vector C and Fortran Compiler for the FPS T-Series: Experiences with compiling to occam I (1992)

Cached

Download Links

by Occam I , D. E. Stevenson , L. K. Ammons , G. L. Raj

Active Bibliography

2 Towards Optimizing Code Generation by Domain-Sensitive Macro Expansion – Eero Lassila, Eero Lassila - 1997
70 Code selection through object code optimization – Jack W. Davidson, Christopher W. Fraser - 1984
2 Strategies For The Modelling And Simulation Of Asynchronous Computer Architectures – Georgios Theodoropoulos - 1995
Specification Modeling Methodologies for Reactive System Design – Ambar Sarkar, Ronald Waxman, James P. Cohoon - 1995
Mapping Object Descriptions to Behaviours – O. M. Nierstrasz - 1988
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
Verification of the WAP Transaction Layer Using the Model Checker SPIN – Yu-Tong He
8 Retracing the semantics of CSP – Stephen Brookes - 2005
Printed in U.S.A. Tracing Protocols – G. J. Holzmann - 1985
38 Tracing Protocols – Gerard J. Holzmann - 1987
1 A Performance Driven Approach for Hardware Synthesis of Guarded Atomic Actions – Daniel L. Rosenband, Daniel L. Rosenband - 2005
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
56 A brief history of process algebra – J. C. M. Baeten - 2004
6 Languages for Configuration Programming: A Comparison – Judy Bishop - 1994
6 Booster: A High-Level Language for Portable Parallel Algorithms – Edwin M. Paalvast, Henk J. Sips, Leo C. Breebaart - 1991
3 A General, Grain-Size Adaptable, Object-Oriented Programming Language for Distributed Computers – Birger Andersen - 1992
ON THE FIDELITY OF SOFTWARE – Stephen J. Counsell - 2002
1 Separating Structure from Function in the Specification and Design of Distributed Systems – Kenneth J. Goldman - 1992