Toward a formal treatment of implicit invocation
Juergen Dingel,
David Garlan, Somesh Jha and David Notkin.
Technical report, CMU-CS-97-153, Carnegie Mellon University School of Computer Science, July 1997.
Online links: Keywords: Formal Methods, Implicit Invocation.
@TechReport{Dingel1997,
AUTHOR = {Dingel, Juergen and Garlan, David and Jha, Somesh and Notkin, David},
TITLE = {Toward a formal treatment of implicit invocation},
YEAR = {1997},
MONTH = {July},
NUMBER = {CMU-CS-97-153},
INSTITUTION = {Carnegie Mellon University School of Computer Science},
KEYWORDS = {Formal Methods, Implicit Invocation} }
|