A semantics and implementation of a causal logic programming language

Cleary, John G.; Utting, Mark; Clayton, Roger

Files

uow-cs-wp-2009-01.pdf

383.1Kb

Citation

Export citation

Cleary, J. G., Utting, Mark. & Clayton, R. (2009). A semantics and implementation of a causal logic programming language. (Working paper 01/2009). Hamilton, New Zealand: University of Waikato, Department of Computer Science.

Permanent Research Commons link: https://hdl.handle.net/10289/2013

Abstract

The increasingly widespread availability of multicore and manycore computers demands new programming languages that make parallel programming dramatically easier and less error prone. This paper describes a semantics for a new class of declarative programming languages that support massive amounts of implicit parallelism.

Date

2009-02-11

Type

Working Paper

Series

Computer Science Working Papers

Report No.

01/2009

Publisher

University of Waikato, Department of Computer Science

Collections

2009 Working Papers [7]