Browsing Department of Computer Science Research Reports: 2000 - 2008 by Issue Date
Now showing items 1-20 of 56
-
Call-By-Push-Value
(2013-12-10)Call-by-push-value (CBPV) is a new programming language paradigm, based on the slogan “a value is, a computation does”. We claim that CBPV provides the semantic primitives from which the call-by-value and call-by-name ... -
Features and Fluents for Logic Programming: Non-simulative Algebraic Semantics
(2013-12-10)A Non-simulative Algebraic Semantics is defined and its range of applicability is proven to be the K-RACi class of the Features and Fluents framework. The comparative assessment reveals the semantics epistemologically ... -
Programming with Bunched Implications
(2013-12-10)We give an operational semantics for the logic programming language BLP, based on the hereditary Harrop fragment of the logic of bunched implications, BI. We introduce BI, explaining the account of the sharing of resources ... -
MPEG-4 Software Video Encoding
(2013-12-10)This thesis presents a software model that allows a parallel decomposition of the MPEG-4 video encoder onto shared memory architectures, in order to reduce its total video encoding time. Since a video sequence consists ... -
Corrections and Remarks
(2013-12-10)This document contains corrections to errors discovered to-date in, and also some remarks upon, both Samin Ishtiaq's thesis, A Relevant Analysis of Natural Deduction [Ish99] and also the JLC [IP98] and CSL [IP99] papers, ... -
Dynamic Face Models: Construction and Applications
(2013-12-10) -
Full Abstraction for PCF
(2013-12-10) -
An Abstract Look at Realizability
(2013-12-10) -
Coordination using a Single-Writer Multiple-Reader Concurrent Logic Language
(2013-12-10)The principle behind concurrent logic programming is a set of processes which co-operate in monotonically constraining a global set of variables to particular values. Each process will have access to only some of the ... -
The Event Calculus Assessed
(2013-12-10)The range of applicability of the Full Event Calculus is proven to be the Ksp-IA class in the Features and Fluents taxonomy. The proof is given with respect to the original definition of this preference logic, where no ... -
Reasoning about Action: Ray Reiter meets Fibred Categories
(2013-12-30) -
Proceedings of the 20th BCS HCI Group conference Volume Two
(2013-12-30) -
Categories and Types for Axiomatic Domain Theory
(2013-12-30) -
Learning the Visual Dynamics of Human Body Motions
(2013-12-30) -
Dynamic Configuration of Distributed Multimedia Components
(2013-12-30) -
Some notes on equalities not present in the λµ-calculus
(2013-12-30)