Skip navigation
Skip navigation

Arrows for knowledge-based circuits

Gammie, Peter


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
Type: Thesis (PhD)
DOI: 10.25911/5d78d9f7865db


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:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator