Robert F. Pointon

According to our database, Robert F. Pointon authored at least 9 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Preserving coordination properties when transforming concurrent system components.

Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

Automatic Amortised Worst-Case Execution Time Analysis.

Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2006

Towards Formally Verifiable WCET Analysis for a Functional Programming Language.

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

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

2005

The Embounded project (project start paper).

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

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2002

Parallel and Distributed Haskells.

Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon

J. Funct. Program., 2002

Implementing Declarative Parallel Bottom-Avoiding Choice.

André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder

Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002), 2002

2001

Functional Vs Object-Oriented Distributed Languages.

Robert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder

Proceedings of the Computer Aided Systems Theory, 2001

2000

Runtime system level fault tolerance for a distributed functional language.

Philip W. Trinder, Robert F. Pointon, Hans-Wolfgang Loidl

Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

The Design and Implementation of Glasgow Distributed Haskell.

Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000