Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2010 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2010 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Datalog as a parallel general purpose programming language

      Cleary, John G.; Utting, Mark; Clayton, Roger
      Thumbnail
      Files
      uow-cs-wp-2010-06.pdf
      416.4Kb
      Find in your library  
      Citation
      Export 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.
      Permanent Research Commons link: https://hdl.handle.net/10289/4486
      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.
      Date
      2010-08-27
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      06/2010
      Publisher
      University of Waikato, Department of Computer Science
      Collections
      • 2010 Working Papers [7]
      Show full item record  

      Usage

      Downloads, last 12 months
      48
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement