The replacement operation for CCP programs

The replacement operation for CCP programs (2000)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Marco Bertolino , Sandro Etalle , Catuscia Palamidessi

Venue:	IN PROCEEDINGS OF LOPSTR '99
Citations:	4 - 1 self

BibTeX

@INPROCEEDINGS{Bertolino00thereplacement,
    author = {Marco Bertolino and Sandro Etalle and Catuscia Palamidessi},
    title = {The replacement operation for CCP programs},
    booktitle = {IN PROCEEDINGS OF LOPSTR '99},
    year = {2000},
    pages = {217--234},
    publisher = {Springer}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

259	The Linear Time-Branching Time Spectrum - Glabbeek - 1990
235	Semantic foundations of concurrent constraint programming - Saraswat, Rinard, et al. - 1991
201	Unfold/Fold Transformation of Logic Programs - Tamaki, Sato - 1984
134	Transformation of logic programs: Foundations and techniques - Pettorossi, Proietti - 1994
129	Analysis of Constraint Logic Programs - Marriott, Sondergaard - 1990
55	Total correctness by local improvement in the transformation of functional programs - Sands - 1996
50	The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal, and Reordering - Marriott, Stuckey - 1992
36	Concurrency and automata on in sequences - Park - 1981
35	Unfold/fold transformations in logic programs - Gardner, Shepherdson - 1991
27	Synthesis and transformation of logic programs using unfold/fold proofs - Pettorossi - 1999
26	Basic transformation operations which preserve computed answer substitutions of logic programs - Bossi, Cocco - 1993
25	Transformations of CLP modules - Etalle, Gabbrielli - 1996
22	Transforming constraint logic programs - BENSAOU, GUESSARIAN - 1998
20	Total correctness by local improvement in program transformation - Sands - 1995
17	Transformations of ccp programs - Etalle, Gabbrielli, et al. - 2001
15	Some Global Compile-Time Optimizations for CLP(R - Jrgensen, Marriot, et al. - 1991
12	On safe folding - Bossi, Cocco, et al. - 1992
12	Partial Evaluation Scheme for Concurrent Languages and Its Correctness - Hosoya, Kobayashi, et al. - 1996
12	Transformation rules for GHC programs - Ueda, Furukawa - 1988
11	Partial Evaluation Techniques for Concurrent Programs - Marinescu, Goldberg - 1997
10	A transformation system for definite programs based on termination analysis - Cook, Gallagher - 1994
9	Simultaneous replacement in normal programs - Bossi, Cocco, et al. - 1996
9	M.: Self-applicable partial evaluation for the pi-calculus - Gengler - 1997
9	A transformation system for deductive databases with perfect model semantics - Maher - 1993
5	Partial evaluation of GHC programs based on the UR-set with constraints - Fujita, Okumura, et al. - 1988
4	The Replacement Operation for CLP modules - Etalle, Gabbrielli - 1995
4	Unfold/fold transformation of concurrent processes - Francesco, Santone - 1996
4	Partial Evaluation of AKL - Sahlin - 1995
2	Equivalence-preserving unfold/fold transformation systems - Sato - 1992
1	Transformazione dei programmi concorrenti Tesi di Laurea, Dip. Informatica e Scienze dell' Informazione, Universita di - Bertolino - 1997
1	A transformation system for de programs based on termination analysis - Cook, Gallagher - 1994
1	Informatica e Scienze dell' Informazione, Universit`a di - Bossi, Cocco - 1997