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
      • 2013 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2013 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      A Parallel semantics for normal logic programs plus time

      Cleary, John G.; Utting, Mark; Clayton, Roger
      Thumbnail
      Files
      uow-cs-wp-2013-05.pdf
      580.9Kb
      Find in your library  
      Citation
      Export citation
      Cleary, J. G. Utting, M., & Clayton, R. (2013). A Parallel semantics for normal logic programs plus time. (Working paper 05/2013). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
      Permanent Research Commons link: https://hdl.handle.net/10289/8163
      Abstract
      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 outputs, and mimic assignment, all without departing from its pure logical semantics. This paper describes a fully incremental bottom-up interpreter that supports a wide range of parallel execution strategies and can extract significant potential parallelism from programs with complex dependencies.
      Date
      2013-11-11
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      05/2013
      Publisher
      University of Waikato, Department of Computer Science
      Rights
      © 2013 John G. Cleary, Mark Utting and Roger Clayton
      Collections
      • 2013 Working Papers [13]
      Show full item record  

      Usage

      Downloads, last 12 months
      34
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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