A semantics and implementation of a causal logic programming language

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.

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.

Publisher

University of Waikato, Department of Computer Science

Degree

Type of thesis

Supervisor