Search Sciweavers | Sciweavers

10575 search results - page 213 / 2115

» T2Script Programming Language

126

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 »

118

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 »

119

click to vote

ICALP
1994
Springer

126views Programming Languages» more ICALP 1994»

Equivalences for Fair Kripke Structures

15 years 10 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 10 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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers