Preserving Sharing in the Partial Evaluation of Lazy Functional Programs-Reference-Cited by-同舟云学术

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

Published:2008 Issue: Volume: Page:74-89
ISSN:0302-9743
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Fischer Sebastian,Silva Josep,Tamarit Salvador,Vidal Germán

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78769-3_6

Reference18 articles.

1. Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation 40(1), 795–829 (2005)

2. Albert, E., Hanus, M., Vidal, G.: A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. Journal of Functional and Logic Programming 2002(1) (2002)

3. Albert, E., Hanus, M., Vidal, G.: A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs. Information Processing Letters 85(1), 19–25 (2003)

4. Alpuente, M., Falaschi, M., Julián, P., Vidal, G.: Specialization of Lazy Functional Logic Programs. In: Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997, vol. 32, pp. 151–162. ACM Press, New York (1997)

5. Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (1994)

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

1. Symbolic Disintegration with a Variety of Base Measures;ACM Transactions on Programming Languages and Systems;2020-05-27

2. Symbolic conditioning of arrays in probabilistic programs;Proceedings of the ACM on Programming Languages;2017-08-29

3. Exact Bayesian inference by symbolic disintegration;ACM SIGPLAN Notices;2017-05-11