( en | de | ru )

 

Disambiguierung von "Puebla, Germán"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An overview of Ciao and its design philosophy.

, , , , , , und . Theory Pract. Log. Program., 12 (1-2): 219-252 (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Germán Posada

Germán Errázuriz

Germán Berone

Angéla Germán

Germán Spangenberg

 

Weitere Publikationen von Autoren mit dem selben Namen

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