15727 search results - page 3017 / 3146 » Software Engineering - Introduction |
128
click to vote
POPL
2010
ACM
16 years 20 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...
126
click to vote
POPL
2010
ACM
16 years 20 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
163
click to vote
POPL
2010
ACM
16 years 20 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
138
click to vote
POPL
2010
ACM
16 years 20 days ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
171
click to vote
POPL
2010
ACM
16 years 20 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...