Skip navigation
Skip navigation

Arrows for knowledge-based circuits

Gammie, Peter

Description

Knowledge-based programs (KBPs) are a formalism for directly relating agents' knowledge and behaviour in a way that has proven useful for specifying distributed systems. Here we present a scheme for compiling KBPs to executable automata in finite environments with a proof of correctness in Isabelle/HOL. We use Arrows, a functional programming abstraction, to structure a prototype domain-specific synchronous language embedded in Haskell. By adapting our compilation scheme to use symbolic...[Show more]

CollectionsOpen Access Theses
Date published: 2013-02-26
Type: Thesis (PhD)
URI: http://hdl.handle.net/1885/9749

Download

File Description SizeFormat Image
02Whole_Gammie.pdfWhole Thesis1.52 MBAdobe PDFThumbnail
01Front_Gammie.pdfFront Matter248.39 kBAdobe PDFThumbnail


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator