Search Sciweavers | Sciweavers

10575 search results - page 148 / 2115

» Programming Languages

105

click to vote

ECOOP
2007
Springer

82views Programming Languages» more ECOOP 2007»

Joinpoint Inference from Behavioral Specification to Implementation

16 years 16 days ago

Download www.kircher-schwanninger.de

Thomas Cottenier, Aswin van den Berg, Tzilla Elrad

claim paper

Read More »

122

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

16 years 16 days ago

Download www.eecs.harvard.edu

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

claim paper

Read More »

128

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

16 years 16 days ago

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

154

click to vote

SIGADA
2007
Springer

137views Programming Languages» more SIGADA 2007»

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

16 years 14 days ago

Download karl.nyberg.net

In this paper we look at the opportunity provided by the

Karl A. Nyberg

claim paper

Read More »

125

click to vote

SMALLTALK
2007
Springer

127views Programming Languages» more SMALLTALK 2007»

Linguistic symbiosis between actors and threads

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers