Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Sewell, Peter Add to Alert Profile  
 
Options:
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  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy