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 ...

Roger Clayton has 2 co-authors in Research Commons.