Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Miguel A. Sanchez-Ordaz"'
Autor:
Víctor Pérez, Pedro López-García, Miguel A. Sanchez-Ordaz, José F. Morales, Manuel V. Hermenegildo, Isabel Garcia-Contreras
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 338:105-112
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::791ede7d6096774bcf982f7508c99e96
https://doi.org/10.4204/eptcs.338.13
https://doi.org/10.4204/eptcs.338.13
Autor:
Manuel V. Hermenegildo, Miguel A. Sanchez-Ordaz, José F. Morales, Victor Perez-Carrasco, Isabel Garcia-Contreras, Pedro López-García
Publikováno v:
Theory and Practice of Logic Programming, ISSN 1475-3081, 2021, Vol. 21, No. 6
Archivo Digital UPM
instname
Archivo Digital UPM
instname
Assertion checking is an invaluable programmer's tool for finding many classes of errors or verifying their absence in dynamic languages such as Prolog. For Prolog programmers this means being able to have relevant properties such as modes, types, de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::79bef849db3ead78c1bc54b2a43d8185
http://arxiv.org/abs/2106.07045
http://arxiv.org/abs/2106.07045
