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: http://hdl.handle.net/10289/2013
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.
University of Waikato, Department of Computer Science