Paul Bone

According to our database, Paul Bone authored at least 6 papers between 2011 and 2014.

Collaborative distances:

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

2014

The Logic of Insurance: an Ontology-Centric Pricing Application.

Ludovic Langevine, Paul Bone

Proceedings of the Industry Track at the International Semantic Web Conference 2014 Co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

2012

Automatic parallelisation for Mercury.

Paul Bone

PhD thesis, 2012

Controlling loops in parallel mercury code.

Paul Bone, Zoltan Somogyi, Peter Schachte

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

2011

Estimating the overlap between dependent computations for automatic parallelization.

Paul Bone, Zoltan Somogyi, Peter Schachte

Theory Pract. Log. Program., 2011

Profiling parallel Mercury programs with ThreadScope

Paul Bone, Zoltan Somogyi

CoRR, 2011

Automatic Parallelism in Mercury.

Paul Bone

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011