Sciweavers

SCP
2008
89views more  SCP 2008»
13 years 3 months ago
A challenge for atomicity verification
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
Wim H. Hesselink
CATS
2008
13 years 5 months ago
The Inhabitation Problem for Intersection Types
In the system of intersection types, without , the problem as to whether an arbitrary type has an inhabitant, has been shown to be undecidable by Urzyczyn in [10]. For one subsys...
Martin W. Bunder