Towards a Formal Treatment of Implicit Invocation (search Google Scholar)
J. Dingel, D. Garlan, S. Jha, and D. Notkin. Towards a formal treatment of implicit invocation. Formal Aspects of Computing, 10:193‒213, 1998.
URL
Comment this article in the wiki!
BibTeX
@Article{Dingeletal:1997:FormalImplicit,
author = "J{\"u}rgen Dingel and David Garlan and Somesh Jha and
David Notkin",
journal = "Formal Aspects of Computing",
myfile = "implicit-invoc-fme97.ps",
mynumber = "sw51",
pages = "193--213",
title = "Towards a Formal Treatment of Implicit Invocation",
topic = "Implicit Invocation",
URL = "http://www.cs.cmu.edu/afs/cs/project/able/www/paper_abstracts/implicit-invoc-fme97.html",
volume = "10",
year = "1998",
modified = "0",
}