Search Sciweavers | Sciweavers

8109 search results - page 51 / 1622

» A Model of Component-Based Programming

click to vote

UM
2005
Springer

90views Programming Languages» more UM 2005»

Inhabited Models: Supporting Coherent Behavior in Online Systems

14 years 4 months ago

Download www.visi.com

Thomas Erickson

claim paper

Read More »

click to vote

ECOOP
1999
Springer

59views Programming Languages» more ECOOP 1999»

A Trace Model for Pointers and Objects

14 years 3 months ago

Download research.microsoft.com

: 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 »

click to vote

POPL
2005
ACM

123views Programming Languages» more POPL 2005»

The Java memory model

14 years 11 months ago

Download rsim.cs.illinois.edu

Jeremy Manson, William Pugh, Sarita V. Adve

claim paper

Read More »

click to vote

TOOLS
2000
IEEE

131views Programming Languages» more TOOLS 2000»

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

14 years 3 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

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers