Life of occam-Pi

Welch, Peter H. (2013) Life of occam-Pi. In: Communicating Process Architectures 2013. Communicating Process Architectures 2013. Communicating Process Architectures. Open Channel Publishing Ltd pp. 293-318. ISBN 978-0-9565409-7-3. (Full text available)

Abstract

This paper considers some questions prompted by a brief review of the history of computing. Why is programming so hard? Why is concurrency considered an “advanced” subject? What’s the matter with Objects? Where did all the Maths go? In searching for answers, the paper looks at some concerns over fundamental ideas within object orientation (as represented by modern programming languages), before focussing on the concurrency model of communicating processes and its particular expression in the occam family of languages. In that focus, it looks at the history of occam, its underlying philosophy (Ockham’s Razor), its semantic foundation on Hoare’s CSP, its principles of process oriented design and its development over almost three decades into occam-π (which blends in the concurrency dynamics of Milner’s π-calculus). Also presented will be an urgent need for rationalisation – occam-π is an experiment that has demonstrated significant results, but now needs time to be spent on careful review and implementing the conclusions of that review. Finally, the future is considered. In particular, is there a future?

Item Type: Conference or workshop item (Paper)
Projects: [UNSPECIFIED] CoSMoS: Complex Systems Modelling and Simulation infrastructure
Uncontrolled keywords: process; object; local reasoning; global reasoning; occam-pi; concurrency; compositionality; verification; multicore; efficiency; scalability; safety; simplicity;
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Peter Welch
Date Deposited: 18 Nov 2014 16:30 UTC
Last Modified: 27 Apr 2016 15:42 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/44827 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year