Partial Evaluation of Concurrent Constraint Languages

ACM Computing Surveys

Volumn 30, Issue 3, 1998, Pages 1-5

  Etalle, Sandro ^a   Gabbrielli, Maurizio ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84969362317     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/289121.289132     Document Type: Article

References (20)

1. Danvy, O., Gluck, R., and Thiemann, P. Eds. 1996. Partial Evaluation. Dagstuhl Castle, Germany, February 1996, Volume 1110 of Lecture Notes in Computer Science (1996). Berlin: Springer-Verlag.
2. de Boer, F., Gabbrielli, M., Marchiori, E., and Palamidessi, C. 1998. Proving concurrent constraint programs correct. ACM Transactions on Programming Languages and Systems. To appear.
3. Etalle, S., Gabbrielli, M., and Marchiori, E. 1997. A Transformation System for CLP with Dynamic Scheduling and CCP. In ACM-SIGPLAN Symposium on Partial Evaluation and Semantic Based Program Manipulation (1997). ACM Press.
4. Fujita, H., Okumura, A., and Furukawa, K. 1988. Partial evaluation of GHC programs based on the UR-set with constraints. In R. KOWALSKI and K. Bowen Eds., Logic Programming: Fifth International Conference and Symposium, volume 2 (1988), pp. 924-941. Cambridge, MA: MIT Press.
5. Gengler, M. and Martel, M. 1997. Self-applicable partial evaluation for the pi-calculus. In Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997 (1997), pp. 36-46. New York: ACM.
6. Heintze, N., Michaylov, S., and Stuckey, P. J. 1992. CLP(ℛ) and some electrical engineering problems. Journal of Automated Reasoning 9, 2, 231-260.
7. Hosoya, H., Kobayashi, N., and Yonezawa, A. 1996. Partial evaluation scheme for concurrent languages and its correctness. In L. BOUGÉ ET AL. Eds., Euro-Par’96 - Parallel Processing, Lyon, France. (Lecture Notes in Computer Science, vol. 1123) (1996), pp. 625-632. Berlin: Springer-Verlag.
8. Jaffar, J. and Lassez, J.-L. 1987. Constraint Logic Programming. In Proc. Fourteenth Annual ACM Symp. on Principles of Programming Languages (1987), pp. 111-119. ACM.
9. Jones, N., Gomard, C., and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Englewood Cliffs, NJ: Prentice Hall.
10. Lassez, C., Mcaloon, K., and Yap, R. 1987. Constraint Logic Programming and Option Trading. IEEE Expert 2, 3, 42-50.
11. Lüttringhaus-Kappel, S. 1990. An experiment in using when-declarations to control unfolding of logic programs. In ICLP Workshop on Partial Deduction and Partial Evaluation (1990). http://www.informatik.uni-bonn.de/ stefan/Papers-WWW/publications.html.
12. Marinescu, M. and Goldberg, B. 1997. Partial-evaluation techniques for concurrent programs. In Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997 (1997), pp. 47-62. New York: ACM.
13. Mogensen, T. and Sestoft, P. 1997. Partial evaluation. In A. Kent and J. Williams Eds., Encyclopedia of Computer Science and Technology, Volume 37, pp. 247-279.
14. Olderog, E. 1991. Nets, Terms and Formulas. Cambridge Tracts in Theoretical Computer Science 23. Cambridge Univ. Press.
15. Sahlin, D. 1995. Partial Evaluation of AKL. In Proceedings of the First International Conference on Concurrent Constraint Programming (1995).
16. Saraswat, V. A. 1989. Concurrent Constraint Programming Languages. Ph. D. thesis, Carnegie-Mellon University.
17. Smolka, G. 1995. The Oz programming model. In J. VAN LEEUWEN Ed., Computer Science Today, Number 1000 in LNCS. Springer-Verlag, see www.ps.uni-sb.de/oz/.
18. Ueda, K. 1995. I/O mode analysis in concurrent logic languages. In T. Ito and A. Yonezawa Eds., Proc. 1994 RR* Workshop on Theory and Practice of Parallel Programming, Volume 907 of Lecture Notes in Computer Science (1995), pp. 356-368. SpringerVerlag.
19. Ueda, K. and Furukawa, K. 1988. Transformation rules for GHC Programs. In Proc. Inti Conf. on Fifth Generation Computer Systems (1988), pp. 582-591. Institute for New Generation Computer Technology, Tokyo.
20. Van Hentenryck, P. 1989. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA.