Spacetime Programming-Reference-Cited by-同舟云学术

Spacetime Programming

Published:2019-10-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019
language:
Short-container-title:

Author:

Talbot Pierre¹

Affiliation:

1. Université de Nantes, Nantes, France

Funder

Agence Nationale de la Recherche

Publisher

ACM

Reference63 articles.

1. Krzysztof R. Apt. 1999. The essence of constraint propagation. Theoretical computer science 221 1-2 (1999) 179--210. https://doi.org/10.1016/S0304-3975(99)00032-8 Krzysztof R. Apt. 1999. The essence of constraint propagation. Theoretical computer science 221 1-2 (1999) 179--210. https://doi.org/10.1016/S0304-3975(99)00032-8

2. Krzysztof R. Apt and M Wallace. 2007. Constraint logic programming using ECLiPSe. Cambridge University Press. Krzysztof R. Apt and M Wallace. 2007. Constraint logic programming using ECLiPSe. Cambridge University Press.

3. Gérard Berry. 2000. The Esterel v5 language primer: version v5_91. Centre de mathématiques appliquées Ecole des mines and INRIA. ftp://ftp-sop.inria.fr/marelle/Laurent.Thery/esterel/esterel.pdf Gérard Berry. 2000. The Esterel v5 language primer: version v5_91. Centre de mathématiques appliquées Ecole des mines and INRIA. ftp://ftp-sop.inria.fr/marelle/Laurent.Thery/esterel/esterel.pdf

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

1. Modular Constraint Solver Cooperation via Abstract Interpretation;Theory and Practice of Logic Programming;2020-09-22

2. Spacetime Programming;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07