159
click to vote
POPL
15 years 11 months ago
2010 ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
134
click to vote
POPL
15 years 4 months ago
2010 ACM 
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
119
click to vote
POPL
15 years 11 months ago
2010 ACM 
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
133
click to vote
POPL
15 years 11 months ago
2010 ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
133
Voted
POPL
15 years 11 months ago
2010 ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
|
Programming Languages