167
click to vote
POPL
16 years 12 days 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...
140
click to vote
POPL
15 years 5 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...
123
click to vote
POPL
16 years 12 days 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...
137
click to vote
POPL
16 years 12 days 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...
142
click to vote
POPL
16 years 12 days 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