|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Control Flow Analysis for the Join Calculus
If you have a question about this talk, please contact Dominic Orchard.
Since first being described, the Join Calculus has been incorporated into a variety of languages as an alternative concurrency primitive. While there has been some work on efficient library implementation of the calculus, there has been little on statically analysing and transforming it. This work explores adapting conventional analysis techniques to the Join Calculus. In particular, we present three variations of control flow analysis for a flattened version, and consider two important optimisations: inlining and queue bounding.
This is a practice talk for SAS 2012 . Joint work with Alan Mycroft.
This talk is part of the Computer Laboratory Programming Research Group Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsComputer Laboratory Computer Architecture Group Meeting EED Film Series: 'Waiting for Superman' Department of Earth Sciences seminars
Other talksControlled Generation And Application Of Nanostructured Materials Drosophila as a model to study innate immunity Mass Spectrometry MR imaging and biomechanical analysis: the assessment of carotid atherosclerotic plaque vulnerability Art Speak CGHR Expert Practitioner Series: Working in Human Rights, Peacebuilding, Humanitarian Aid and Development