Search Sciweavers | Sciweavers

10871 search results - page 248 / 2175

» A stable programming language

116

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 9 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

106

click to vote

PLDI
1996
ACM

83views Programming Languages» more PLDI 1996»

TIL: A Type-Directed Optimizing Compiler for ML

15 years 9 months ago

Download www-2.cs.cmu.edu

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

claim paper

Read More »

105

click to vote

ICALP
1994
Springer

126views Programming Languages» more ICALP 1994»

Equivalences for Fair Kripke Structures

15 years 9 months ago

Download www.eecs.berkeley.edu

Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert...

claim paper

Read More »

click to vote

ECOOP
1989
Springer

62views Programming Languages» more ECOOP 1989»

A Class Hierarchy for Building Stream-Oriented File Systems

15 years 9 months ago

Download choices.cs.uiuc.edu

Peter Madany, Roy H. Campbell, Vincent F. Russo, D...

claim paper

Read More »

click to vote

ICCL
1990
IEEE

47views Programming Languages» more ICCL 1990»

Reliable Distributed Computing with Avalon/Common Lisp

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers