( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis.

, , , , и . SAS, том 6337 из Lecture Notes in Computer Science, стр. 100-116. Springer, (2010)

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 Wegmann

German Heinzel

 

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

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)Optimization of Logic Programs with Dynamic Scheduling., , , и . ICLP, стр. 93-107. MIT Press, (1997)Poly-controlled partial evaluation., и . PPDP, стр. 261-271. ACM, (2006)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 Framework for Assertion-Based Debugging in Constraint Logic Programming., , и . CP, том 1520 из Lecture Notes in Computer Science, стр. 472. Springer, (1998)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)An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy., , , , , и . Concurrency, Graphs and Models, том 5065 из Lecture Notes in Computer Science, стр. 209-237. Springer, (2008)