( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An overview of Ciao and its design philosophy

, , , , , , и . CoRR, (2011)

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.

Manuel Campos-Puebla

Claudio Puebla Ponce

Claudio Puebla Ponce

German Ott

German Haustein

 

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

Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging., , и . The Logic Programming Paradigm, Springer, (1999)Certificate size reduction in abstraction-carrying code., , , и . Theory Pract. Log. Program., 12 (3): 283-318 (2012)A Framework for Assertion-Based Debugging in Constraint Logic Programming., , и . CP, том 1520 из Lecture Notes in Computer Science, стр. 472. Springer, (1998)Context-Sensitive Multivariant Assertion Checking in Modular Programs., , , и . LPAR, том 4246 из Lecture Notes in Computer Science, стр. 392-406. Springer, (2006)An Incremental Approach to Abstraction-Carrying Code., , и . LPAR, том 4246 из Lecture Notes in Computer Science, стр. 377-391. Springer, (2006)A Generic Processor for Program Validation and Debugging., , и . Analysis and Visualization Tools for Constraint Programming, том 1870 из Lecture Notes in Computer Science, стр. 63-107. Springer, (2000)The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems., , , , , , и . APPIA-GULP-PRODE, стр. 105-110. (1996)Optimization of Logic Programs with Dynamic Scheduling., , , и . ICLP, стр. 93-107. MIT Press, (1997)Poly-controlled partial evaluation., и . PPDP, стр. 261-271. ACM, (2006)Resource Analysis: From Sequential to Concurrent and Distributed Programs., , , , , , , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2015)