Cleary, John G.Utting, MarkClayton, Roger2009-02-122009-02-122009-02-11Cleary, 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.1177-777Xhttps://hdl.handle.net/10289/2013The 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.application/pdfencomputer sciencemulticoremanycorelogic programmingimperative programmingsemanticsWorking Paper