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
Alpuente, Maria
Universitat Polithcnica de Valhncia
Valencia, Spain
   Reviewer Selected
Follow this Reviewer
Date Reviewed  
- 2 of 2 reviews

  Abstract interpretation of mobile ambients
Nielson F., Hansen R., Nielson H.  Science of Computer Programming 47(2-3): 145-175, 2003. Type: Article

A theory of abstract interpretation that is useful for analyzing calculi of computation is addressed in this paper. This is illustrated by formalizing two analyses for the ambient calculus, which can be seen as an extension of a large subset of th...

Aug 11 2003  
   Constructor-based conditional narrowing: a WAP mail retrieving system
Antoy S.  Principles and practice of declarative programming (Third international conference, Florence, Italy,  Sep 5-7, 2001) 199-206, 2001. Type: Proceedings

An overview and a systematization of the main results of optimized narrowing strategies are presented in this paper, which also corrects some imprecise claims made in the literature on this topic. The paper also demonstrates how to translate a ver...

Jul 17 2003  
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy