2000 search results - page 103 / 400 » Program Transformation and Proof Transformation |
111
click to vote
VLDB
2001
ACM
15 years 7 months ago
2001
ACM
Cleaning data of errors in structure and content is important for data warehousing and integration. Current solutions for data cleaning involve many iterations of data “auditing...
116
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...
145
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
111
click to vote
ECCC
2006
15 years 3 months ago
2006
Abstract. This article points out a gap between two natural formulations of the concept of a proof of knowledge, and shows that in all natural cases (e.g., NP-statements) this gap ...