( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Runtime feedback in a meta-tracing JIT for efficient dynamic languages.

, , , , , и . ICOOOLPS@ECOOP, стр. 9:1-9:8. ACM, (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.

Michael Leuschel

Dieter Leuschel

Roland Leuschel

Hilde Leuschel

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)
 

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

Improving Size-Change Analysis in Offline Partial Evaluation, , и . CoRR, (2009)A Polyvariant Binding-Time Analysis for Off-line Partial Deduction, , и . CoRR, (2000)Homeomorphic Embedding for Online Termination of Symbolic Methods.. The Essence of Computation, том 2566 из Lecture Notes in Computer Science, стр. 379-403. Springer, (2002)Partial Evaluation of the "Real Thing".. LOPSTR, том 883 из Lecture Notes in Computer Science, стр. 122-137. Springer, (1994)How to Make FDR Spin LTL Model Checking of CSP by Refinement., , и . FME, том 2021 из Lecture Notes in Computer Science, стр. 99-118. Springer, (2001)Combining CSP and B for Specification and Property Verification., и . FM, том 3582 из Lecture Notes in Computer Science, стр. 221-236. Springer, (2005)Translating Alloy and extensions to classical B., , , , и . Sci. Comput. Program., (2020)VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics., и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 260-265. Springer, (2020)ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods., и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 248-254. Springer, (2020)Towards a Shared Specification Repository., , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 266-271. Springer, (2020)