Search Sciweavers | Sciweavers

10622 search results - page 46 / 2125

» Python Programming Language

Voted

ESOP
2007
Springer

110views Programming Languages» more ESOP 2007»

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

15 years 10 months ago

Download www.cs.unibo.it

Cristian Versari

claim paper

Read More »

131

Voted

ESOP
2007
Springer

122views Programming Languages» more ESOP 2007»

A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)

15 years 10 months ago

Download www.doc.ic.ac.uk

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

104

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

15 years 10 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

119

Voted

SMALLTALK
2007
Springer

106views Programming Languages» more SMALLTALK 2007»

Redesigning with traits: the Nile stream trait-based library

15 years 10 months ago

Download csl.ensm-douai.fr

Damien Cassou, Stéphane Ducasse, Roel Wuyts

claim paper

Read More »

Voted

ASPLOS
2006
ACM

84views Programming Languages» more ASPLOS 2006»

Writing Solaris device drivers in Java

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers