Robert F. Pointon

Publication Activity (10 Years)

Years Active: 2000-2008
Publications (10 Years): 0

Publications

Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland
Preserving coordination properties when transforming concurrent system components. SAC (2008)
Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon
Automatic Amortised Worst-Case Execution Time Analysis. WCET (2007)
Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET (2006)
Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
The Embounded project (project start paper). Trends in Functional Programming (2005)
Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon
Parallel and Distributed Haskells. J. Funct. Program. 12 (4&5) (2002)
André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder
Implementing Declarative Parallel Bottom-Avoiding Choice. SBAC-PAD (2002)
Robert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder
Functional Vs Object-Oriented Distributed Languages. EUROCAST (2001)
Philip W. Trinder, Robert F. Pointon, Hans-Wolfgang Loidl
Runtime system level fault tolerance for a distributed functional language. Scottish Functional Programming Workshop (2000)
Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl
The Design and Implementation of Glasgow Distributed Haskell. IFL (2000)