53 search results - page 3 / 11 » oopsla 2010 |
126
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
70
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
93
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
116
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants Isil Dillig Thomas Dillig Alex Aiken Stanford University lig Thomas Dillig Alex Aiken Symbolic Heap Abstract...
120
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...