Search
for Author
All Reviews
Sewell, Peter
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Mathematizing C++ concurrency
Batty M., Owens S., Sarkar S., Sewell P., Weber T. ACM SIGPLAN Notices 46(1): 55-66, 2011. Type: Article
Integrating multi-threading into a programming language such as C++ is an error-prone task: the intuitive expectation of a “sequentially consistent” program that behaves as if concurrent memory reads and writes were...
...
Apr 5 2011
The Java module system: core design and semantic definition
Strniša R., Sewell P., Parkinson M. ACM SIGPLAN Notices 42(10): 499-514, 2007. Type: Article
The use of packages and class loaders in Java does not help in managing several different versions of the same software unit in a satisfactory way. As expressed by the authors, this situation is traditionally referenced ...
...
Sep 5 2008
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy