TABLE OF CONTENTS LIST OF FIGURES. iv ACKNOWLEDGMENTS. v

Authors: Steve M. Shaner

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://archives.cs.iastate.edu/documents/disk0/00/00/05/90/00000590-00/TR.pdf.

Subject Terms: ming by contract, D.3.3 [Programming Languages] Language Constructs and Features — abstract data types, classes and objects, control structures, frameworks, procedures, functions, and subroutines, F.3.1

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.572.3278

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.572.3278
http://archives.cs.iastate.edu/documents/disk0/00/00/05/90/00000590-00/TR.pdf

D.A.: Modular verification of higher-order methods with mandatory calls specified by model programs

Authors: Steve M. Shaner, Gary T. Leavens, David A. Naumann

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://archives.cs.iastate.edu/documents/disk0/00/00/05/35/00000535-00/TR.pdf.

Subject Terms: ware/Program Verification — correctness proofs, formal methods, programming by contract, D.3.3 [Programming Languages] Language Constructs and Features — abstract data types, classes and objects, control structures, frameworks, procedures, func- tions, and subroutines, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs —

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.570.7296

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.570.7296
http://archives.cs.iastate.edu/documents/disk0/00/00/05/35/00000535-00/TR.pdf

D.A.: Modular verification of higher-order methods with mandatory calls specified by model programs

Authors: Steve M. Shaner, Gary T. Leavens, David A. Naumann

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://archives.cs.iastate.edu/documents/disk0/00/00/05/36/00000536-00/TR.pdf.

Subject Terms: ware/Program Verification — correctness proofs, formal methods, programming by contract, D.3.3 [Programming Languages] Language Constructs and Features — abstract data types, classes and objects, control structures, frameworks, procedures, func- tions, and subroutines, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs —

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.9199

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.9199
http://archives.cs.iastate.edu/documents/disk0/00/00/05/36/00000536-00/TR.pdf