190
click to vote
TLDI
16 years 3 days ago
2010 ACM 
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
148
click to vote
TLDI
16 years 3 days ago
2010 ACM 
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
134
click to vote
TLDI
16 years 3 days ago
2010 ACM 
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
130
click to vote
TLDI
16 years 3 days ago
2010 ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
163
click to vote
TLDI
15 years 3 months ago
2010 ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
|
Formal Methods