( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
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)

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.

Elvira Kraus

10-Jahres-Katamnese bei Alkoholkranken unter besonderer Berücksichtigung der Frauen. Uni Tübingen, (2009)

Elvira Greiner

Elvira Langbein

Elvira Strangalies

Elvira Unglehrt

 

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

List-Processing Optimizations in a Multi-Paradigm Declarative Language., , , и . WFLP, стр. 184-194. (2000)Polygenetic Partial Evaluation of Lazy Functional Logic Programs., , , , и . APPIA-GULP-PRODE, стр. 151-164. (1998)Abstraction-Carrying Code: a Model for Mobile Code Safety., , и . New Generation Comput., 26 (2): 171-204 (2008)Incremental resource usage analysis., , , и . PEPM, стр. 25-34. ACM, (2012)EthIR: A Framework for High-Level Analysis of Ethereum Bytecode., , , , и . ATVA, том 11138 из Lecture Notes in Computer Science, стр. 513-520. Springer, (2018)Efficient local unfolding with ancestor stacks., , и . Theory Pract. Log. Program., 11 (1): 1-32 (2011)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)Converting One Type-Based Abstract Domain to Another., , и . LOPSTR, том 3901 из Lecture Notes in Computer Science, стр. 147-162. Springer, (2005)Verification of Java Bytecode Using Analysis and Transformation of Logic Programs., , , и . PADL, том 4354 из Lecture Notes in Computer Science, стр. 124-139. Springer, (2007)