( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification.

, , , и . SYNASC, стр. 167-174. IEEE Computer Society, (2015)

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.

Alexander Kräll

Sofie Krall

Albert Krall

Felix Krall

Stefan Krall

 

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

PEG - Ein Programmierumgebungsgenerator.. GI Jahrestagung, том 108 из Informatik-Fachberichte, стр. 488-499. Springer, (1985)DSP Instruction Set Simulation., , и . Handbook of Signal Processing Systems, Springer, (2010)The Vienna Abstract Machine., и . PLILP, том 456 из Lecture Notes in Computer Science, стр. 121-135. Springer, (1990)Dependence-Conscious Global Register Allocation., , , и . Programming Languages and System Architectures, том 782 из Lecture Notes in Computer Science, стр. 125-136. Springer, (1994)Optimizations for Object-Oriented Languages., и . The Compiler Design Handbook, CRC Press, (2002)The Vienna Abstract Machine.. J. Log. Program., 29 (1-3): 85-106 (1996)Using Semantic Relatedness and Locality for Requirements Elicitation Guidance., , и . SEKE, стр. 19-24. Knowledge Systems Institute Graduate School, (2012)Generalized instruction selection using SSA-graphs., , , , , и . LCTES, стр. 31-40. ACM, (2008)Minimizing Cost of Local Variables Access for DSP-Processors., и . Workshop on Languages, Compilers, and Tools for Embedded Systems, стр. 20-27. ACM, (1999)Efficient JavaVM Just-in-Time Compilation.. IEEE PACT, стр. 205-. IEEE Computer Society, (1998)