1636 search results - page 255 / 328 » Type-Theoretic Functional Semantics |
88
Voted
WWW
2001
ACM
16 years 17 days ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...
197
click to vote
POPL
2008
ACM
16 years 6 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...
196
click to vote
POPL
2005
ACM
16 years 6 days ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
181
click to vote
SIGMOD
2006
ACM
16 years 1 days ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
177
click to vote
SIGMOD
2006
ACM
16 years 1 days ago
2006
ACM
We study the problem of finding efficient equivalent viewbased rewritings of relational queries, focusing on query optimization using materialized views under the assumption that ...