J.-M. Jacquet and L. Monteiro. Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. Computer Languages, 22(2/3):51-77, 1996. 33 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Programming in Lygon: An Overview - Harland, Pym, Winikoff (1996) (28 citations) (Correct)
....a similar multiset of formulae of a given form, i.e. clauses. In such a scenario the cycles would be given as a subgraph of the original one, and in the same data structure, rather than returned in a list through a variable. In other words, programming in Lygon would seem to be resource oriented [15] rather than substitution oriented, in that it is easy to envisage input and output as formula, rather than terms. Note that the traditional TP semantics of logic programs [6] can be thought of as treating the program as an operator, and the facts of the program as input, 14 with the output being ....
J.-M. Jacquet and L. Monteiro. Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. Proc. JELIA'94 379-399, York, 1994.
On the Expressiveness of Coordination via Shared Dataspaces - Brogi, Jacquet (2000) Self-citation (Jacquet) (Correct)
....store. A natural dual view of communication primitives is then to consider them as the rewriting of pre conditions into post conditions. We shall consequently examine, as a second family, languages based on multi set rewriting. It is here worth noting that this approach has already been taken in [2,10,20]. Each communication primitive thus consists of a multi set of pre conditions and of a multi set of post conditions. Pre and post conditions are (possibly empty) multi sets of positive and negative tuples. Intuitively speaking, the operational e ect of a multi set rewriting (pre; post) is to ....
J.-M. Jacquet and L. Monteiro. Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. Computer Languages, 22(2/3):51-77, 1996. 33
On the Expressiveness of Coordination Models - Brogi, Jacquet (1999) (4 citations) Self-citation (Jacquet) (Correct)
....store. A natural dual view of communication primitives is then to consider them as the rewriting of pre conditions into post conditions. We shall consequently examine, as a second family, languages based on multi set rewriting. It is here worth noting that this approach has already been taken in [3, 11, 21]. Each communication primitive thus consists of a multi set of pre conditions and of a multi set of post conditions. Pre and post conditions are (possibly empty) multi sets of positive and negative tuples. Intuitively speaking, the operational e ect of a multi set rewriting (pre; post) is to ....
J.-M. Jacquet and L. Monteiro. Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. Computer Languages, 22(2/3):51-77, 1996.
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