Sciweavers

53 search results - page 3 / 11

» oopsla 2010

11

OOPSLA
2010
Springer

120views Security Privacy» more OOPSLA 2010»

What can the GC compute efficiently?: a language for heap assertions at GC time

13 years 2 months ago

What can the GC compute efficiently?: a language for heap assertions at GC time

Download www.eecs.tufts.edu

Christoph Reichenbach, Neil Immerman, Yannis Smara...

claim paper

Read More »

8

OOPSLA
2010
Springer

97views Security Privacy» more OOPSLA 2010»

SPUR: a trace-based JIT compiler for CIL

13 years 2 months ago

SPUR: a trace-based JIT compiler for CIL

Download research.microsoft.com

Michael Bebenita, Florian Brandner, Manuel Fä...

claim paper

Read More »

8

OOPSLA
2010
Springer

145views Security Privacy» more OOPSLA 2010»

13 years 2 months ago

Download www.objectmentor.com

Steven Fraser, Hannah Faye Chua, Gail Harris, Orit...

claim paper

Read More »

8

OOPSLA
2010
Springer

112views Security Privacy» more OOPSLA 2010»

Symbolic heap abstraction with demand-driven axiomatization of memory invariants

13 years 2 months ago

Symbolic heap abstraction with demand-driven axiomatization of memory invariants

Download www.stanford.edu

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...

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

11

OOPSLA
2010
Springer

153views Security Privacy» more OOPSLA 2010»

Modular logic metaprogramming

13 years 2 months ago

Modular logic metaprogramming

Download www.daimi.au.dk

In logic metaprogramming, programs are not stored as plain textﬁles but rather derived from a deductive database. While the beneﬁts of this approach for metaprogramming are ob...

Karl Klose, Klaus Ostermann

claim paper

Read More »

« Prev « First page 3 / 11 Last » Next »