TABLE OF CONTENTS LIST OF FIGURES. iv ACKNOWLEDGMENTS. v

Συγγραφείς: Steve M. Shaner

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://archives.cs.iastate.edu/documents/disk0/00/00/05/90/00000590-00/TR.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: 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

Συγγραφείς: Steve M. Shaner, Gary T. Leavens, David A. Naumann

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://archives.cs.iastate.edu/documents/disk0/00/00/05/35/00000535-00/TR.pdf.

Θεματικοί όροι: 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 —

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: 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

Συγγραφείς: Steve M. Shaner, Gary T. Leavens, David A. Naumann

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://archives.cs.iastate.edu/documents/disk0/00/00/05/36/00000536-00/TR.pdf.

Θεματικοί όροι: 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 —

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: 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