( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compositional Analysis for Equational Horn Programs.

, , и . ALP, том 850 из Lecture Notes in Computer Science, стр. 77-94. Springer, (1994)

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.

Germán Posada

Germán Errázuriz

Germán Berone

Germán Spangenberg

Angéla Germán

 

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

Ensuring the quasi-termination of needed narrowing computations., , и . Inf. Process. Lett., 101 (5): 220-226 (2007)List-Processing Optimizations in a Multi-Paradigm Declarative Language., , , и . WFLP, стр. 184-194. (2000)Using Narrowing Approximations to Optimize Equational Logic Programs., , , и . GULP, стр. 127-142. (1993)Polygenetic Partial Evaluation of Lazy Functional Logic Programs., , , , и . APPIA-GULP-PRODE, стр. 151-164. (1998)Towards Reversible Computation in Erlang., , и . CoRR, (2016)Proceedings of CICLOPS-WLPE 2010, и . CoRR, (2010)Dynamic slicing of lazy functional programs based on redex trails., , и . High. Order Symb. Comput., 21 (1-2): 147-192 (2008)Fast Offline Partial Evaluation of Large Logic Programs., и . LOPSTR, том 5438 из Lecture Notes in Computer Science, стр. 119-134. Springer, (2008)Symbolic Profiling for Multi-paradigm Declarative Languages., и . LOPSTR, том 2372 из Lecture Notes in Computer Science, стр. 148-167. Springer, (2001)Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages., , и . LOPSTR (LNCS 2042: Selected Papers), том 2042 из Lecture Notes in Computer Science, стр. 103-124. Springer, (2000)