231
Voted
POPL
16 years 2 months ago
2003 ACM 
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
212
click to vote
POPL
16 years 2 months ago
2003 ACM 
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
219
Voted
POPL
16 years 2 months ago
2003 ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
156
Voted
POPL
16 years 2 months ago
2003 ACM 214
click to vote
POPL
16 years 2 months ago
2003 ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
|
Programming Languages