1419 search results - page 260 / 284 » Notes on Formalizing Context |
201
Voted
POPL
2008
ACM
16 years 24 days ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
204
Voted
POPL
2005
ACM
16 years 24 days ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
113
Voted
CADE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
102
click to vote
STOC
2007
ACM
16 years 24 days ago
2007
ACM
We introduce a new, generic framework for private data analysis. The goal of private data analysis is to release aggregate information about a data set while protecting the privac...
97
Voted
SIGMOD
2001
ACM
16 years 19 days ago
2001
ACM
Over the last decades, improvements in CPU speed have outpaced improvements in main memory and disk access rates by orders of magnitude, enabling the use of data compression techn...