[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

CSPP - dressed semantics.

I have reworked CSPP using dressed semantics. A completely[1] revised version
of my WoTUG-22 paper presents this and can be collected from
	ftp://ftp.ox.ac.uk/pub/users/adrian/csppw22.ps.gz .
Not checked: please let me know if you find errors.


[1] So I am not worrying about any copyright IOP might have in the original
    version, not that I signed any (C) away.
A E Lawrence, MA., DPhil.  	adrian.lawrence@xxxxxxxxxxxxxx
MicroProcessor Unit, 13, Banbury Road, Oxford. OX2 6NN. UK.                
Voice: (+44)-1865-273274,  Fax: (+44)-1865-273275