( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
PLAN-X 2004 Informal Proceedings

(Ред.) NS-03-4, Venice, Italy, (декабря 2004)Available at: http://www.brics.dk/NS/03/4/BRICS-NS-03-4.pdf.

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 CÌ0ur i

Michael Bari i

Nata i i

imun Ko i i

Slobodan Ru i i

 

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

Type Inference of SELF., , и . ECOOP, том 707 из Lecture Notes in Computer Science, стр. 247-267. Springer, (1993)Binding-time Analysis: Abstract Interpretation versus Type Inference., и . ICCL, стр. 277-288. IEEE Computer Society, (1994)Efficient Inference of Partial Types., , и . J. Comput. Syst. Sci., 49 (2): 306-324 (1994)The Pointer Assertion Logic Engine., и . PLDI, стр. 221-231. ACM, (2001)Static Analysis of XML Transformations in Java., , и . IEEE Trans. Software Eng., 30 (3): 181-192 (2004)Static Correctness of Hierarchical Procedures.. ICALP, том 443 из Lecture Notes in Computer Science, стр. 32-45. Springer, (1990)WebSelF: A Web Scraping Framework., , , и . ICWE, том 7387 из Lecture Notes in Computer Science, стр. 347-361. Springer, (2012)Object-Oriented Type Inference., и . OOPSLA, стр. 146-161. ACM, (1991)SIGPLAN Notices 26(11).Formal Design Constraints., , и . OOPSLA, стр. 370-383. ACM, (1996)SIGPLAN Notices 31(10).Type Substitution for Object-Oriented Programming., и . OOPSLA/ECOOP, стр. 151-160. ACM, (1990)SIGPLAN Notices 25(10).