S. Etalle, M. Gabbrielli, and M. C. Meo. Transformations of CCP programs. ACM Transactions on Programming Languages and Systems, 23(3):304--395, May 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Declarative Semantics of Input Consuming Logic Programs - Bossi, Cocco, Etalle, Rossi Self-citation (Etalle) (Correct)
No context found.
S. Etalle, M. Gabbrielli, and M. C. Meo. Transformations of ccp programs. ACM Transactions on Programming Languages and Systems, 23(3):304--395, 2002.
Termination of Simply Moded Logic Programs with Dynamic.. - Bossi, Etalle, Rossi.. (2004) Self-citation (Etalle) (Correct)
....Semantics for Partial Derivations As we mentioned in the introduction, input consuming derivations can be used to model parallelism, and in this context it is very important to model the results of partial computations. Indeed, standard semantics for concurrent logic languages such as CCP [13, 25] and GHC [31] often capture such intermediate results, or in any case, the results of non successful computations [11] In fact, input consuming programs can have a reactive nature: the (partial) result of a computation may trigger another computation by instantiating su#ciently the input ....
S. Etalle, M. Gabbrielli, and M. C. Meo. Transformations of ccp programs. ACM Transactions on Programming Languages and Systems, 23(3):304-- 395, 2002.
LicenseScript - A Language and Framework for.. - Chong, Law, Etalle.. (2002) Self-citation (Etalle) (Correct)
.... of actions (play, upgrade, etc) that can take place, we can address the problem of the soundness of the system by reducing it to the problem of the correctness of the transformation system with respect to the chosen semantics, which is a problem that readily leverages the results of Etalle et al. [5, 4, 6]. 2.2 Verification In the framework depicted above, there are two aspects that require the development and use of verification tools. In the first place, the Information Monitors should be provided with tools that enable them to verify the integrity of the licenses and that allow them to trace ....
S. Etalle, M. Gabbrielli, and M.C. Meo. Transformations of ccp programs. ACM Transactions on Programming Languages and Systems, 23(3):304--395, 2001. To appear. Available also at CoRR http://arXiv.org/.
Refactoring Prolog Programs - Schrijvers, Serebrenik, Demoen (2001) (Correct)
No context found.
S. Etalle, M. Gabbrielli, and M. C. Meo. Transformations of CCP programs. ACM Transactions on Programming Languages and Systems, 23(3):304--395, May 2001.
Improving Prolog Programs: Refactoring for Prolog - Schrijvers, Serebrenik (Correct)
No context found.
S. Etalle, M. Gabbrielli, and M. C. Meo. Transformations of CCP programs. ACM Transactions on Programming Languages and Systems, 23(3):304--395, May 2001.
Refactoring Prolog Code - Schrijvers, Serebrenik, Demoen (2004) (Correct)
No context found.
S. Etalle, M. Gabbrielli, and M. C. Meo. Transformations of CCP programs. ACM Transactions on Programming Languages and Systems, 23(3):304--395, May 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC