|
|
|
|
|
|
Date Reviewed |
|
|
1 - 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 ...
|
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 tra...
|
Jul 17 2003 |
|
|
|
|
|
|
|
|
|
|
|