Fundamenta Informaticae > 2020 > Vol. 177, nr 3/4 > 359--383
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2020-1993 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Mesnard F, Payet E, Vidal G. Concolic Testing in Logic Programming. Theory and Practice of Logic Programming, 2015. 15(4-5):711-725. doi:10.1017/S1471068415000332.
-
[2] Jaffar J, Lassez JL. Constraint Logic Programming. In: Proc. of the 14th Annual ACM Symposium on Principles of Programming Languages (POPL’87). ACM Press, 1987 pp. 111-119. doi:10.1145/41625.41635.
-
[3] Jaffar J, Maher MJ. Constraint Logic Programming: A Survey. Journal of Logic Programming, 1994. 19,20:503-581. doi:10.1016/0743-1066(94)90033-7.