Search Sciweavers | Sciweavers

10912 search results - page 334 / 2183

» Object-Oriented Programming Languages

124

click to vote

PLDI
1998
ACM

89views Programming Languages» more PLDI 1998»

Thin Locks: Featherweight Synchronization for Java

15 years 11 months ago

Download cseweb.ucsd.edu

David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauri...

claim paper

Read More »

117

click to vote

IFIP
1998
Springer

104views Programming Languages» more IFIP 1998»

A Java-Based Distributed Platform for Multilateral Security

15 years 11 months ago

Download www.semper.org

Andreas Pfitzmann, Alexander Schill, Andreas Westf...

claim paper

Read More »

139

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 10 months ago

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »

126

click to vote

PLDI
1996
ACM

83views Programming Languages» more PLDI 1996»

TIL: A Type-Directed Optimizing Compiler for ML

15 years 10 months ago

Download www-2.cs.cmu.edu

David Tarditi, J. Gregory Morrisett, Perry Cheng, ...

claim paper

Read More »

134

click to vote

ICALP
1994
Springer

126views Programming Languages» more ICALP 1994»

Equivalences for Fair Kripke Structures

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers