dc.contributor.author | Cleary, John G. | |
dc.contributor.author | Utting, Mark | |
dc.contributor.author | Clayton, Roger | |
dc.date.accessioned | 2010-08-31T04:20:59Z | |
dc.date.available | 2010-08-31T04:20:59Z | |
dc.date.issued | 2010-08-27 | |
dc.identifier.citation | Cleary, J.G., Utting, M. & Clayton, R. (2010). Datalog as a parallel general purpose programming language. (Working paper 06/2010). Hamilton, New Zealand: University of Waikato, Department of Computer Science. | en_NZ |
dc.identifier.issn | 1177-777X | |
dc.identifier.uri | https://hdl.handle.net/10289/4486 | |
dc.description.abstract | The increasing available parallelism of computers demands new programming languages that make parallel programming dramatically easier and less error prone. It is proposed that datalog with negation and timestamps is a suitable basis for a general purpose programming language for sequential, parallel and distributed computers.
This paper develops a fully incremental bottom-up interpreter for datalog that supports a wide range of execution strategies, with trade-offs affecting efficiency, parallelism and control of resource usage. Examples show how the language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics. | en_NZ |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | |
dc.publisher | University of Waikato, Department of Computer Science | en_NZ |
dc.relation.ispartofseries | Computer Science Working Papers | |
dc.subject | computer science | en_NZ |
dc.subject | programming language | en_NZ |
dc.subject | datalog | en_NZ |
dc.title | Datalog as a parallel general purpose programming language | en_NZ |
dc.type | Working Paper | en_NZ |
uow.relation.series | 06/2010 | |
pubs.elements-id | 54104 | |