Various issues make framework development harder than regular development. Building product lines and frameworks requires increased coordination and communication between stakehol...
This essay presents remarkable similarities between transactional memory and garbage collection. The connections are fascinating in their own right, and they let us better underst...
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...