( en | de | ru )

 

Disambiguation of "Schwartzbach, Michael I."

Author of the publication

copydeleteadd this publication to your clipboard
What is Type-Safe Code Reuse?

, and . ECOOP, volume 512 of Lecture Notes in Computer Science, page 325-341. Springer, (1991)

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. You can also use the button next to the name to display some publications already assigned to the person.

Michael CÌ0ur i

Michael Bari i

Nata i i

imun Ko i i

Slobodan Ru i i

 

Other publications of authors with the same name

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