Sciweavers

29

SPE
2010

115views more SPE 2010»

Detecting memory leaks in managed languages with Cork

13 years 9 months ago

Detecting memory leaks in managed languages with Cork

Download www.cs.utexas.edu

Maria Jump, Kathryn S. McKinley

claim paper

Read More »

31

SPE
2010

82views more SPE 2010»

Pedro: a publish/subscribe server using Prolog technology

13 years 9 months ago

Pedro: a publish/subscribe server using Prolog technology

Download www.doc.ic.ac.uk

Peter J. Robinson, Keith L. Clark

claim paper

Read More »

26

SPE
2010

81views more SPE 2010»

An algorithmic mitigation of large spurious interprocedural cycles in static analysis

13 years 9 months ago

An algorithmic mitigation of large spurious interprocedural cycles in static analysis

Download rosaec.snu.ac.kr

Hakjoo Oh, Kwangkeun Yi

claim paper

Read More »