Partial evaluation of concurrent constraint languages-Reference-Cited by-同舟云学术

Partial evaluation of concurrent constraint languages

Published:1998-09 Issue:3es Volume:30 Page:11
ISSN:0360-0300
Container-title:ACM Computing Surveys
language:en
Short-container-title:ACM Comput. Surv.

Author:

Etalle Sandro¹,Gabbrieli Maurizio²

Affiliation:

1. University of Amsterdam

2. University of Pisa

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science,Theoretical Computer Science

Reference22 articles.

1. DANVY 0. GL tl CK 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 .]] DANVY 0. GLtlCK 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. A CM Transactions on Programming Languages and Systems. To appear.]] 10.1145/265943.265954 DE BOER F. GABBRIELLI M. MARCHIORI E. AND PALAMIDESSI C. 1998. Proving concurrent constraint programs correct. A CM Transactions on Programming Languages and Systems. To appear.]] 10.1145/265943.265954

3. A transformation system for CLP with dynamic scheduling and CCP

4. FUJITA H. OKUMURA A. AND FURUKAWA K. 1988. Partial evaluation of GHC programs based on the UR-set with constraints. In R.]] FUJITA H. OKUMURA A. AND FURUKAWA K. 1988. Partial evaluation of GHC programs based on the UR-set with constraints. In R.]]

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Partial Evaluation of Communicating Processes with Temporal Formulas and Its Application;Advances in Intelligent and Soft Computing;2012

2. Modeling software product lines using color-blind transition systems;International Journal on Software Tools for Technology Transfer;2007-09-08

3. Color-Blind Specifications for Transformations of Reactive Synchronous Programs;Fundamental Approaches to Software Engineering;2005

4. Protocol Specialization;Programming Languages and Systems;2004

5. Transformations of CCP programs;ACM Transactions on Programming Languages and Systems;2001-05