<--- Back to Details
First PageDocument Content
Computing / Software engineering / Concurrency control / Concurrency / Java platform / Concurrent computing / Communication / Synchronization / U3 / Java memory model / Vienna U-Bahn / Java class file
Date: 2011-05-07 02:09:33
Computing
Software engineering
Concurrency control
Concurrency
Java platform
Concurrent computing
Communication
Synchronization
U3
Java memory model
Vienna U-Bahn
Java class file

Extended Sequential Reasoning for Data-Race-Free Programs

Add to Reading List

Source URL: www.hpl.hp.com

Download Document from Source Website

File Size: 383,65 KB

Share Document on Facebook

Similar Documents

Lie algebras / Lie groups / Circuit complexity / NC / Constructible universe / Homogeneous spaces / Mathematics / Hopf decomposition

Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1

DocID: 1xUtw - View Document

Mathematical analysis / Temporal logic / Mathematics / Computation tree logic / Logic in computer science / Determinacy / Distribution / Linear temporal logic / Universal representation

Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

DocID: 1xTlL - View Document

Fully Concurrent Garbage Collection of Actors on Many-Core Machines Sylvan Clebsch and Sophia Drossopoulou Department of Computing, Imperial College, London {sc5511, scd}@doc.ic.ac.uk

DocID: 1tNeJ - View Document

Chivalry / Military personnel / Actor model / Concurrent computing / Dwight D. Eisenhower

BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth

DocID: 1ru6U - View Document

Software engineering / Computing / Computer programming / Functional languages / Concurrent programming languages / Programming languages / Procedural programming languages / Cross-platform software / Clojure / Multiple dispatch / Type system / Dynamic programming language

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

DocID: 1ru0R - View Document