Sciweavers

10871 search results - page 50 / 2175

» A stable programming language

86

Voted

PLDI
2006
ACM

90views Programming Languages» more PLDI 2006»

Combining abstract interpreters

15 years 8 months ago

Combining abstract interpreters

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

91

Voted

PLDI
2006
ACM

87views Programming Languages» more PLDI 2006»

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

15 years 8 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 »

105

PLDI
2005
ACM

118views Programming Languages» more PLDI 2005»

Threads cannot be implemented as a library

15 years 8 months ago

Threads cannot be implemented as a library

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

103

Voted

CD
2005
Springer

150views Programming Languages» more CD 2005»

A Model of Dynamic Binding in .NET

15 years 8 months ago

A Model of Dynamic Binding in .NET

Download slurp.doc.ic.ac.uk

Alex Buckley

claim paper

Read More »

92

Voted

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 8 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 »

« Prev « First page 50 / 2175 Last » Next »