Search Sciweavers | Sciweavers

10585 search results - page 42 / 2117

» The Orc Programming Language

click to vote

ECOOP
2007
Springer

122views Programming Languages» more ECOOP 2007»

An Accidental Simula User

14 years 2 months ago

Download lucacardelli.name

Luca Cardelli

claim paper

Read More »

click to vote

ESOP
2007
Springer

116views Programming Languages» more ESOP 2007»

A Consistent Semantics of Self-adjusting Computation

14 years 2 months ago

Download reports-archive.adm.cs.cmu.edu

Umut A. Acar, Matthias Blume, Jacob Donham

claim paper

Read More »

click to vote

ESOP
2007
Springer

136views Programming Languages» more ESOP 2007»

The Java Memory Model: Operationally, Denotationally, Axiomatically

14 years 2 months ago

Download www.pst.ifi.lmu.de

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibi...

claim paper

Read More »

click to vote

ESOP
2007
Springer

110views Programming Languages» more ESOP 2007»

A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

14 years 2 months ago

Download www.cs.unibo.it

Cristian Versari

claim paper

Read More »

click to vote

ESOP
2007
Springer

122views Programming Languages» more ESOP 2007»

A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers