A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Modular verification of higher-order methods with mandatory calls specified by model programs
2007
Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA '07
What we call a "higher-order method" (HOM) is a method that makes mandatory calls to other dynamically-dispatched methods. Examples include template methods as in the Template method design pattern and notify methods in the Observer pattern. HOMs are particularly difficult to reason about, because standard pre-and postcondition specifications cannot describe the mandatory calls. For reasoning about such methods, existing approaches use either higherorder logic or traces, but both are complex
doi:10.1145/1297027.1297053
dblp:conf/oopsla/ShanerLN07
fatcat:x3xwaijsvnc3fdvlqcyikgz7pq