Search Sciweavers | Sciweavers

10575 search results - page 148 / 2115

» Programming Languages

click to vote

ECOOP
2007
Springer

82views Programming Languages» more ECOOP 2007»

Joinpoint Inference from Behavioral Specification to Implementation

15 years 11 months ago

Download www.kircher-schwanninger.de

Thomas Cottenier, Aswin van den Berg, Tzilla Elrad

claim paper

Read More »

101

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

15 years 11 months ago

Download www.eecs.harvard.edu

Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, L...

claim paper

Read More »

108

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

15 years 11 months ago

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

134

Voted

SIGADA
2007
Springer

137views Programming Languages» more SIGADA 2007»

Multi-core + multi-tasking = multi-opportunity?

15 years 11 months ago

Download karl.nyberg.net

In this paper we look at the opportunity provided by the

Karl A. Nyberg

claim paper

Read More »

111

Voted

SMALLTALK
2007
Springer

127views Programming Languages» more SMALLTALK 2007»

Linguistic symbiosis between actors and threads

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers