Search Sciweavers | Sciweavers

: Object-oriented programs Dahl, Goldberg, Meyer are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking

C. A. R. Hoare, Jifeng He

claim paper

Read More »

219

click to vote

POPL
2005
ACM

123views Programming Languages» more POPL 2005»

The Java memory model

16 years 4 months ago

Download rsim.cs.illinois.edu

Jeremy Manson, William Pugh, Sarita V. Adve

claim paper

Read More »

113

click to vote

TOOLS
2000
IEEE

131views Programming Languages» more TOOLS 2000»

A Metacomponent Model to Support the Extensibility and Evolvability of Networked Applications

15 years 8 months ago

Download d3s.mff.cuni.cz

Glêdson Elias da Silveira, Silvio Romero de ...

claim paper

Read More »

click to vote

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers