© University of Kent - Contact | Feedback | Legal | FOI | Cookies
occam-for-all - Two Approaches to Retargeting the INMOS occam Compiler
M.D. Poole
In Brian O''Neill, editor, Parallel Processing Developments - Proceedings of WoTUG 19, pages 182-196, Nottingham-Trent University, UK, March 1996. World occam and Transputer User Group, IOS Press, Netherlands ISBN 90-5199-261-0.Bibtex Record
@inproceedings{285,
author = {M.D. Poole},
title = {{occam-for-all -- Two Approaches to Retargeting the INMOS occam Compiler}},
month = {March},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISBN 90-5199-261-0},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/285},
address = {Nottingham-Trent University, UK},
author_ids = {mdp2},
booktitle = {Parallel Processing Developments -- Proceedings of WoTUG 19},
editor = {Brian O'Neill},
organization = {World occam and Transputer User Group},
publisher = {IOS Press, Netherlands},
}