Search Sciweavers | Sciweavers

8109 search results - page 40 / 1622

» A Model of Component-Based Programming

click to vote

ASPLOS
2010
ACM

207views Programming Languages» more ASPLOS 2010»

Implementing the PGI Accelerator model

14 years 5 months ago

Download www12.cs.fau.de

Michael Wolfe

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 5 months ago

Download www.pst.ifi.lmu.de

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibi...

claim paper

Read More »

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

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

14 years 4 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

click to vote

CD
2005
Springer

150views Programming Languages» more CD 2005»

A Model of Dynamic Binding in .NET

14 years 4 months ago

Download slurp.doc.ic.ac.uk

Alex Buckley

claim paper

Read More »

click to vote

ESOP
2003
Springer

76views Programming Languages» more ESOP 2003»

Flexible Models for Dynamic Linking

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers