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
  Aiken, Alexander Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 3 of 3 reviews    
  Safe: a semantic technique for transforming programs in the presence of errors
Aiken A., Williams J., Wimmers E. ACM Transactions on Programming Languages and Systems 17(1): 63-84, 1995.  Type: Article

The authors present a technique for transforming computer programs, primarily so a compiler can optimize code sequences yet retain the original program’s behavior in the face of various types of exception (error) conditions. ...
...
May 1 1996  
  Static analysis techniques for predicting the behavior of active database rules
Aiken A., Hellerstein J., Widom J. ACM Transactions on Database Systems 20(1): 3-41, 1995.  Type: Article

The collection of static analysis algorithms described here was originally developed for the Starburst Rule System, although the authors expect their methods to be applicable to other active database rule systems, including the ...
...
Jan 1 1996  
  Using the run-time sizes of data structures to guide parallel-thread creation
Huelsbergen L., Larus J., Aiken A. ACM SIGPLAN Lisp Pointers VII(3): 79-90, 1994.  Type: Article

The overhead of spawning a new task to compute some expression in a functional language is often high. It is therefore important to know that the amount of work that the spawned task will do is enough to cover the costs of its creation...
...
Mar 1 1995  

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