Browsing by Author "Clayton, Roger"
Now showing items 1-4 of 4
-
Compilation of bottom-up evaluation for a pure logic programming language
Clayton, Roger (The University of Waikato, 2005)Abstraction in programming languages is usually achieved at the price of run time efficiency. This thesis presents a compilation scheme for the Starlog logic programming language. In spite of being very abstract, Starlog ... -
Datalog as a parallel general purpose programming language
Cleary, John G.; Utting, Mark; Clayton, Roger (University of Waikato, Department of Computer Science, 2010-08-27)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 ... -
A Parallel semantics for normal logic programs plus time
Cleary, John G.; Utting, Mark; Clayton, Roger (University of Waikato, Department of Computer Science, 2013-11-11)It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and ... -
A semantics and implementation of a causal logic programming language
Cleary, John G.; Utting, Mark; Clayton, Roger (University of Waikato, Department of Computer Science, 2009-02-11)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 ...
Co-authors for Roger Clayton
Roger Clayton has 2 co-authors in Research Commons.