( 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

Type Inference of SELF., , and . ECOOP, volume 707 of Lecture Notes in Computer Science, page 247-267. Springer, (1993)Efficient Inference of Partial Types., , and . J. Comput. Syst. Sci., 49 (2): 306-324 (1994)Static Analysis of XML Transformations in Java., , and . IEEE Trans. Software Eng., 30 (3): 181-192 (2004)The Pointer Assertion Logic Engine., and . PLDI, page 221-231. ACM, (2001)Binding-time Analysis: Abstract Interpretation versus Type Inference., and . ICCL, page 277-288. IEEE Computer Society, (1994)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)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).Object-Oriented Type Inference., and . OOPSLA, page 146-161. ACM, (1991)SIGPLAN Notices 26(11).