138
click to vote
TLDI
16 years 15 hour ago
2009 ACM 
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
140
click to vote
TLDI
16 years 15 hour ago
2009 ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
118
click to vote
TLDI
16 years 15 hour ago
2009 ACM 
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
112
click to vote
TLDI
16 years 15 hour ago
2009 ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
122
click to vote
TLDI
16 years 15 hour ago
2009 ACM 
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
|
Formal Methods