Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Chris Ross's Homepage
Chris Ross
PhD Student in Computer Science
School of Computer Science
The University of Birmingham
Edgbaston
Birmingham, B15 2TT
United Kingdom
Office: 218, Computer Science Building
Email: ctr @ cs.bham.ac.uk
My research interests include separation logic, semantics of
programming languages, lambda calculus, compilers,
virtual machines.
I am a strong open source advocate having contributed to various projects, as well as running my own: the ferite programming language.
Public Notes
These notes are here so that people can download and advise me how incorrect they are.
Permissions; I am currently doing work on separation logic and permissions. This note details my current thoughts and work conducted on this area of logic; specifically covering decidability, the combination of existence, read, write and de-allocate permissions into one consistent system. This specific note is the result of work started in September 2004. Last Updated 19th May 2005.