A semantics and implementation of a causal logic programming language

dc.contributor.author	Cleary, John G.
dc.contributor.author	Utting, Mark
dc.contributor.author	Clayton, Roger
dc.date.accessioned	2009-02-12T22:44:02Z
dc.date.available	2009-02-12T22:44:02Z
dc.date.issued	2009-02-11
dc.identifier.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.	en
dc.identifier.issn	1177-777X
dc.identifier.uri	https://hdl.handle.net/10289/2013
dc.description.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.	en
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.publisher	University of Waikato, Department of Computer Science	en
dc.relation.ispartofseries	Computer Science Working Papers
dc.subject	computer science	en
dc.subject	multicore	en
dc.subject	manycore	en
dc.subject	logic programming	en
dc.subject	imperative programming	en
dc.subject	semantics	en
dc.title	A semantics and implementation of a causal logic programming language	en
dc.type	Working Paper	en
uow.relation.series	01/2009
pubs.elements-id	53739