( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Continuous code-quality assurance with SAFE.

, , и . PEPM, стр. 145-149. ACM, (2006)

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.

Stephen J Maxfield

Stephen J Hannahs

Stephen Novak

Stephen Wagner

Andreas Stephen

 

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

Continuous code-quality assurance with SAFE., , и . PEPM, стр. 145-149. ACM, (2006)Efficient Run-Time Support for Irregular Block-Structured Applications., , и . J. Parallel Distributed Comput., 50 (1/2): 61-82 (1998)Thin Slicing, , и . #PLDI07#, (2007)A Preliminary Evaluation of HPF., , , и . PPSC, SIAM, (1997)Flexible Communication Mechanisms for Dynamic Structured Applications., , и . IRREGULAR, том 1117 из Lecture Notes in Computer Science, стр. 203-215. Springer, (1996)Snugglebug: a powerful approach to weakest preconditions., , и . PLDI, стр. 363-374. ACM, (2009)Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless., , , , и . OOPSLA, стр. 108-124. ACM, (2001)SIGPLAN Notices 36(11).Static Specification Mining Using Automata-Based Abstractions., , , и . IEEE Trans. Software Eng., 34 (5): 651-666 (2008)Space- and Time-Efficient Implementation of the Java Object Model., , и . ECOOP, том 2374 из Lecture Notes in Computer Science, стр. 111-132. Springer, (2002)Multiple Data Parallelism with HPF and KeLP., , , и . HPCN Europe, том 1401 из Lecture Notes in Computer Science, стр. 828-839. Springer, (1998)