Sciweavers

10622 search results - page 48 / 2125

» Python Programming Language

61

PLDI
2006
ACM

87views Programming Languages» more PLDI 2006»

Refinement-based context-sensitive points-to analysis for Java

15 years 4 months ago

Refinement-based context-sensitive points-to analysis for Java

Download www.eecs.berkeley.edu

Manu Sridharan, Rastislav Bodík

claim paper

Read More »

78

PLDI
2005
ACM

118views Programming Languages» more PLDI 2005»

Threads cannot be implemented as a library

15 years 3 months ago

Threads cannot be implemented as a library

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

73

CD
2005
Springer

150views Programming Languages» more CD 2005»

A Model of Dynamic Binding in .NET

15 years 3 months ago

A Model of Dynamic Binding in .NET

Download slurp.doc.ic.ac.uk

Alex Buckley

claim paper

Read More »

60

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

15 years 3 months ago

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

56

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

15 years 3 months ago

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

« Prev « First page 48 / 2125 Last » Next »