( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interprocedural Symbolic Evaluation of Ada Programs with Aliases.

, , и . Ada-Europe, том 1622 из Lecture Notes in Computer Science, стр. 136-145. Springer, (1999)

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.

Johann Heber

Johann Beyer

Johann Dill

Johann Reiner

Klaus Johann

 

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

Versuche der Compiler-Validierung., и . PEARL, том 295 из Informatik-Fachberichte, стр. 1-19. Springer, (1991)Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints., , и . CoRR, (2015)Some Investigations on FCFS Scheduling in Hard Real Time Applications., и . J. Comput. Syst. Sci., 45 (3): 493-512 (1992)Kronecker Algebra for Static Analysis of Barriers in Ada., и . Ada-Europe, том 9695 из Lecture Notes in Computer Science, стр. 145-159. Springer, (2016)FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions., и . BIT, 32 (3): 370-383 (1992)Discrete Loops and Worst Case Performance.. Comput. Lang., 20 (3): 193-212 (1994)Interprocedural Symbolic Evaluation of Ada Programs with Aliases., , и . Ada-Europe, том 1622 из Lecture Notes in Computer Science, стр. 136-145. Springer, (1999)Symbolic Reaching Definitions Analysis of Ada Programs., и . Ada-Europe, том 1411 из Lecture Notes in Computer Science, стр. 238-250. Springer, (1998)Augmenting Ada 95 with Additional Real-Time Features., , и . Ada-Europe, том 1088 из Lecture Notes in Computer Science, стр. 330-341. Springer, (1996)On the Tree Width of Ada Programs., , и . Ada-Europe, том 3063 из Lecture Notes in Computer Science, стр. 78-90. Springer, (2004)