TOPLAS 2008 | Sciweavers

24

TOPLAS
2008

81views more TOPLAS 2008»

Size-change termination with difference constraints

13 years 7 months ago

lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...

Amir M. Ben-Amram

claim paper

Read More »

15

click to vote

TOPLAS
2008

67views more TOPLAS 2008»

On the complexity of partially-flow-sensitive alias analysis

13 years 7 months ago

Download www.cs.tau.ac.il

Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Y...

claim paper

Read More »

27

click to vote

TOPLAS
2008

89views more TOPLAS 2008»

Types for atomicity: Static checking and inference for Java

13 years 7 months ago

Download slang.soe.ucsc.edu

Cormac Flanagan, Stephen N. Freund, Marina Lifshin...

claim paper

Read More »

16

click to vote

TOPLAS
2008

74views more TOPLAS 2008»

Dynamic slicing on Java bytecode traces

13 years 7 months ago

Download www.comp.nus.edu.sg

Tao Wang, Abhik Roychoudhury

claim paper

Read More »

12

click to vote

TOPLAS
2008

59views more TOPLAS 2008»

FeatherTrait: A modest extension of Featherweight Java

13 years 7 months ago

Download www-sop.inria.fr

Luigi Liquori, Arnaud Spiwack

claim paper

Read More »

16

click to vote

TOPLAS
2008

81views more TOPLAS 2008»

Exceptional situations and program reliability

13 years 7 months ago

Download www.cs.virginia.edu

Westley Weimer, George C. Necula

claim paper

Read More »

12

click to vote

TOPLAS
2008

54views more TOPLAS 2008»

Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator

13 years 7 months ago

Download www.bcl.hamilton.ie

Barak A. Pearlmutter, Jeffrey Mark Siskind

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers