Search Sciweavers | Sciweavers

10585 search results - page 238 / 2117

» The Orc Programming Language

click to vote

ICALP
1994
Springer

126views Programming Languages» more ICALP 1994»

Equivalences for Fair Kripke Structures

14 years 1 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

14 years 1 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

14 years 1 months ago

Download www.cs.cmu.edu

Stewart M. Clamen, Linda D. Leibengood, Scott Nett...

claim paper

Read More »

click to vote

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

14 years 1 months ago

Download www.cs.st-andrews.ac.uk

Richard C. H. Connor, Alfred L. Brown, Quintin I. ...

claim paper

Read More »

click to vote

POS
1990
Springer

151views Programming Languages» more POS 1990»

Cache Coherency and Storage Management in a Persistent Object System

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers