( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Making Type Inference Practical.

, , и . ECOOP, том 615 из Lecture Notes in Computer Science, стр. 329-349. Springer, (1992)

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

 

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

Dual syntax for XML languages., , и . Inf. Syst., 33 (4-5): 385-406 (2008)Static validation of XSL transformations., , и . ACM Trans. Program. Lang. Syst., 29 (4): 21 (2007)Static Analysis of XML Transformations in Java., , и . IEEE Trans. Software Eng., 30 (3): 181-192 (2004)A Runtime System for Interactive Web Services., , , и . Comput. Networks, 31 (11-16): 1391-1401 (1999)Static Typing for Object-Oriented Programming., и . Sci. Comput. Program., 23 (1): 19-53 (1994)Type Inference of SELF., , и . ECOOP, том 707 из Lecture Notes in Computer Science, стр. 247-267. Springer, (1993)An introduction to XML and web technologies., и . Addison-Wesley, (2006)Efficient Inference of Partial Types., , и . J. Comput. Syst. Sci., 49 (2): 306-324 (1994)The Pointer Assertion Logic Engine., и . PLDI, стр. 221-231. ACM, (2001)Binding-time Analysis: Abstract Interpretation versus Type Inference., и . ICCL, стр. 277-288. IEEE Computer Society, (1994)