( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Assertion-based Debugging of Higher-Order (C)LP Programs.

, , и . PPDP, стр. 225-235. ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Fabio José Morales Morales

José Vera Morales

José Morales Saravia

Humberto Jorge José

Cristina Morales Morales

 

Другие публикации лиц с тем же именем

An overview of Ciao and its design philosophy, , , , , , и . CoRR, (2011)Computing Abstract Distances in Logic Programs., , , и . CoRR, (2019)The Ciao clp(FD) Library. A Modular CLP Extension for Prolog, , , и . CoRR, (2013)Introduction to the 38th International Conference on Logic Programming Special Issue., и . Theory Pract. Log. Program., 22 (4): 499-504 (2022)An s(CASP) In-Browser Playground based on Ciao Prolog., , , , и . ICLP Workshops, том 3193 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Assertion-based Debugging of Higher-Order (C)LP Programs., , и . PPDP, стр. 225-235. ACM, (2014)Types, Modes and so Much More - The Prolog Way., , , и . Prolog: The Next 50 Years, том 13900 из Lecture Notes in Computer Science, Springer, (2023)Towards Description and Optimization of Abstract Machines in an Extension of Prolog., , и . LOPSTR, том 4407 из Lecture Notes in Computer Science, стр. 77-93. Springer, (2006)SPECTECTOR: Principled Detection of Speculative Information Flows., , , , и . CoRR, (2018)Towards a General Framework for Static Cost Analysis of Parallel Logic Programs., , , , и . CoRR, (2019)