Modular verification of higher-order methods with mandatory calls specified by model programs

by Steve M. Shaner, Gary T. Leavens, David A. Naumann

2007 p351-368

application/pdf 364.5 kB `file_2cucy64dhnf55otzx6yua2zkze`	lib.dr.iastate.edu (repository) web.archive.org (webarchive)
application/pdf 130.8 kB `file_kj7rzgmesrdl7op3sxpdmrsjjq`	www.cs.stevens-tech.edu (web) web.archive.org (webarchive)
application/pdf 332.1 kB `file_zp6vmusifjh4nj4jc2nzqeevmm`	web.archive.org (webarchive) www.cs.iastate.edu (web)
application/pdf 353.8 kB `file_pcsludtz7rewxcn2pgh3nm25gy`	lib.dr.iastate.edu (web) web.archive.org (webarchive)
application/pdf 393.0 kB `file_m22pvqvzmnbjdfvxm7ywcqtw2m`	web.archive.org (webarchive) lib.dr.iastate.edu (web)
application/pdf 354.1 kB `file_33slmwy35rgv3pqah2db3ct3jy`	web.archive.org (webarchive) lib.dr.iastate.edu (web)
application/pdf 354.1 kB `file_csh7s2zbmvctrah4ktqfdtj6qq`	web.archive.org (webarchive) lib.dr.iastate.edu (web)
application/pdf 342.5 kB `file_bjyujrwv3rcmboe534xwg3lini`	www.cs.stevens.edu (web) web.archive.org (webarchive) web.archive.org (webarchive) www.cs.stevens.edu (web) www.cs.stevens-tech.edu (web) + 1 more URLs
application/pdf 353.8 kB `file_rfwz7dyxhfdcjecy7v424oemvq`	web.archive.org (webarchive) lib.dr.iastate.edu (web)

Preserved and Accessible

Type paper-conference
Stage

published

Year 2007

DOI 10.1145/1297027.1297053
dblp conf/oopsla/ShanerLN07

Container Metadata
Not in DOAJ
Not in Keepers Registry

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

Catalog Record
Revision: 19ccdb2a-7f09-4212-a313-32bcb2336589
API URL: JSON

Modular verification of higher-order methods with mandatory calls specified by model programs release_x3xwaijsvnc3fdvlqcyikgz7pq