116
click to vote
TLDI
15 years 9 months 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...
113
click to vote
TLDI
15 years 9 months 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...
TLDI
15 years 9 months 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...
89
Voted
TLDI
15 years 9 months 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...
TLDI
15 years 9 months 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