Show simple item record

Constraint Generation for the Jeeves Privacy Language

dc.date.accessioned2014-10-02T21:45:04Z
dc.date.accessioned2018-11-26T22:27:14Z
dc.date.available2014-10-02T21:45:04Z
dc.date.available2018-11-26T22:27:14Z
dc.date.issued2014-10-01
dc.identifier.urihttp://hdl.handle.net/1721.1/90560
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/90560
dc.description.abstractOur goal is to present a completed, semantic formalization of the Jeeves privacy language evaluation engine, based on the original Jeeves constraint semantics defined by Yang et al at POPL12, but sufficiently strong to support a first complete implementation thereof. Specifically, we present and implement a syntactically and semantically completed concrete syntax for Jeeves that meets the example criteria given in the paper. We also present and implement the associated translation to J, but here formulated by a completed and decompositional operational semantic formulation. Finally, we present an enhanced and decompositional, non-substitutional operational semantic formulation and implementation of the J evaluation engine (the dynamic semantics) with privacy constraints. In particular, we show how implementing the constraints can be defined as a monad, and evaluation can be defined as monadic operation on the constraint environment. The implementations are all completed in Haskell, utilizing its almost one-to-one capability to transparently reflect the underlying semantic reasoning when formalized this way. In practice, we have applied the "literate" program facility of Haskell to this report, a feature that enables the source LATEX to also serve as the source code for the implementation (skipping the report-parts as comment regions). The implementation is published as a github project.en_US
dc.format.extent56 p.en_US
dc.titleConstraint Generation for the Jeeves Privacy Languageen_US


Files in this item

FilesSizeFormatView
MIT-CSAIL-TR-2014-020.pdf511.2Kbapplication/pdfView/Open

This item appears in the following Collection(s)

Show simple item record