( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Checking Cleanness in Linked Lists

, , и . Static Analysis Symposium, стр. 115--134. (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.

Martina Rodehüser

Franz Rodehüser

Franz Rodehüser

Ines Rodehau

Philipp Maximilian Rodehutskors

 

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

Proving Safety of Speculative Load Instructions at Compile Time., , и . ESOP, том 582 из Lecture Notes in Computer Science, стр. 56-72. Springer, (1992)A Sparse Table Implementation of Priority Queues., , и . ICALP, том 115 из Lecture Notes in Computer Science, стр. 417-431. Springer, (1981)Covering a Graph by Circuits., и . ICALP, том 62 из Lecture Notes in Computer Science, стр. 289-299. Springer, (1978)FLAME - An Efficient Access Method for Optical Disks., , , и . RIAO, стр. 227-236. CID, (1988)Cleanness Checking of String Manipulations in C Programs via Integer Analysis., , и . SAS, том 2126 из Lecture Notes in Computer Science, стр. 194-212. Springer, (2001)Checking Cleanness in Linked Lists., , и . SAS, том 1824 из Lecture Notes in Computer Science, стр. 115-134. Springer, (2000)Some Matching Problems., и . ICALP, том 52 из Lecture Notes in Computer Science, стр. 258-268. Springer, (1977)Global Instruction Scheduling for Superscalar Machines., и . PLDI, стр. 241-255. ACM, (1991)CSSV: towards a realistic tool for statically detecting all buffer overflows in C., , и . PLDI, стр. 155-167. ACM, (2003)Designing efficient algorithms for APL: A case study of a hydraulic-network solver., и . APL, стр. 19-23. ACM, (1979)