218
click to vote
POPL
16 years 1 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...
207
click to vote
POPL
16 years 1 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...
211
click to vote
POPL
16 years 1 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...
201
click to vote
POPL
16 years 1 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