46 search results - page 10 / 10 » Reasoning About Data-Parallel Pointer Programs in a Modal Ex... |
167
Voted
POPL
2010
ACM
16 years 1 months 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...