-
1Academic Journal
Authors: Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, D.2.4 [Software Engineering, Software/Program Verification—Class invariants General Terms
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.5332; http://ranger.uta.edu/~csallner/papers/csallner08dysy.pdf
-
2Academic Journal
Authors: Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf.
Subject Terms: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.4 [Software Engineering, Software/Program Verification—Class invariants, Correctness proofs, Formal methods, Programming by contract, F.3.1 [Logics and Meanings of programs, Specifying and Verifying and Reasoning about Programs—Assertions, Invariants, Logics of programs, Mechanical verification, Pre- and post-conditions, Specification techniques General Terms, Verification Additional Key Words and Phrases, Aliasing, data races, local reasoning, modular reasoning, ownership, verification condition generation ACM Reference Format
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5177; http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf
-
3Academic Journal
Authors: Christoph Csallner, Nikolai Tillmann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, D.2.4 [Software Engineering, Software/Program Verification—Class invariants General Terms
File Description: application/pdf
-
4Academic Journal
Authors: Christoph Csallner
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Symbolic execution, D.2.4 [Software Engineering, Software/Program Verification—Class invariants General Terms
File Description: application/pdf
-
5Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: formal specification, application programming interface, security, programming by contract, pre and postconditions, JML language. 1998 CR Categories, D.2.4 [Software Engineering] Software/Program Verification — class invariants
File Description: application/pdf
-
6Academic Journal
Authors: Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan, M. Leino, Wolfram Schulte
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Program- ming, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.4 [Software En- gineering, Software/Program Verification—Class invariants, Correctness proofs, Formal meth- ods, Programming by contract, F.3.1 [Logics and Meanings of programs, Specifying and Verifying and Reasoning about Programs—Assertions, Invariants, Logics of programs, Mechani- cal verification, Pre- and post-conditions, Specification techniques General Terms, Verification Additional Key Words and Phrases, Aliasing, data races, local reasoning, modular reasoning, ownership, verification
File Description: application/pdf
-
7Academic Journal
Authors: Anindya Banerjee
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource
File Description: application/pdf
-
8Academic Journal
Authors: Anindya Banerjee, David A. Naumann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource
File Description: application/pdf
-
9Academic Journal
Authors: Anindya Banerjee, David A. Naumann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource
File Description: application/pdf
-
10Academic Journal
Authors: Anindya Banerjee
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource
File Description: application/pdf
-
11Academic Journal
Authors: Anindya Banerjee, David A. Naumann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource protection Contents
File Description: application/pdf
-
12Academic Journal
Authors: Anindya Banerjee, David A. Naumann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource protection Contents
File Description: application/pdf