Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

TOPLAS
2008

favoriteEmaildiscussreport

77views more TOPLAS 2008»

A programming model for concurrent object-oriented programs

13 years 4 months ago

A programming model for concurrent object-oriented programs

Download lirias.kuleuven.be

Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Ru

Real-time Traffic

TOPLAS 2008 |

claim paper

Related Content

» A Compositional Approach to Concurrent ObjectOriented Programming

» VeriCool An Automatic Verifier for a Concurrent ObjectOriented Language

» Linking EventB and Concurrent ObjectOriented Programs

» A Modular Scheme for Deadlock Prevention in an ObjectOriented Programming Model

» Generalised ObjectOriented Concepts for Interagent Communication

» Support for Extensibility and Reusability in a Concurrent ObjectOriented Programming Langu...

» ObjectOriented and Concurrent Program Design Issues in Ada 95

» Protection in the Guide ObjectOriented Distributed System

» HighPerformance ObjectOriented Scientific Programming in Fortran 90

» ObjectOriented Modeling of ObjectOriented Concepts

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	TOPLAS
Authors	Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte

Comments (0)