Search Sciweavers | Sciweavers

10666 search results - page 172 / 2134

» Quantum programming languages

click to vote

ECOOP
2007
Springer

82views Programming Languages» more ECOOP 2007»

Joinpoint Inference from Behavioral Specification to Implementation

14 years 4 months ago

Download www.kircher-schwanninger.de

Thomas Cottenier, Aswin van den Berg, Tzilla Elrad

claim paper

Read More »

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

14 years 4 months ago

Download www.eecs.harvard.edu

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

claim paper

Read More »

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

14 years 4 months ago

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

click to vote

SIGADA
2007
Springer

137views Programming Languages» more SIGADA 2007»

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

14 years 4 months ago

Download karl.nyberg.net

In this paper we look at the opportunity provided by the

Karl A. Nyberg

claim paper

Read More »

click to vote

SMALLTALK
2007
Springer

127views Programming Languages» more SMALLTALK 2007»

Linguistic symbiosis between actors and threads

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers