Search Results - Software/Program Verification—Class invariants General Terms
-
1
Authors: et al.
Contributors: et al.
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
-
2
Authors:
Contributors:
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
-
3
Authors:
Source: Journal of the ACM; Jun2013, Vol. 60 Issue 3, p1-73, 73p
-
4
Authors: et al.
Contributors: et al.
Subject Terms: and Reasoning about Programs—Invariants General Terms Design, Languages, Performance, Verification Keywords Alias analysis, Incrementalization, Program Transformation, Runtime Verification
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
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
-
6
Authors:
Contributors:
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
-
7
Authors:
Contributors:
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
-
8
Authors:
Contributors:
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
-
9
Authors:
Contributors:
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
-
10
Authors:
Source: Journal of the ACM; Jun2013, Vol. 60 Issue 3, p1-56, 56p
-
11
Authors:
Contributors:
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
-
12
Authors:
Contributors:
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
-
13
Authors: et al.
Contributors: et al.
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
-
14
Authors: et al.
Source: ACM Transactions on Programming Languages & Systems; Jan2009, Vol. 31 Issue 1, p1:1-1:48, 48p, 1 Diagram, 13 Charts
-
15
Authors:
Resource Type: eBook.
Subjects: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses
Categories: COMPUTERS / Computer Science
PDF Full Text ePub Full Text -
16
Authors: Anupam Chattopadhyay
Resource Type: eBook.
Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture, MATHEMATICS / Applied
-
17
Authors: et al.
Resource Type: eBook.
Subjects: Transportation engineering, Traffic engineering, Computational intelligence, Urban economics
Categories: TECHNOLOGY & ENGINEERING / Civil / Highway & Traffic, BUSINESS & ECONOMICS / Urban & Regional, COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)
-
18
Authors:
Resource Type: eBook.
Subjects: Cooperating objects (Computer systems), Digital twins (Computer simulation), Business information services
Categories: TECHNOLOGY & ENGINEERING / Electronics / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Cybernetics, COMPUTERS / Management Information Systems, COMPUTERS / Networking / General, MATHEMATICS / Applied, TECHNOLOGY & ENGINEERING / Engineering (General)
-
19
Authors:
Resource Type: eBook.
Subjects: Computer-aided design, Embedded computer systems--Industrial applications, Embedded computer systems--Design and construction, Systems engineering
Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Design, Graphics & Media / CAD-CAM, COMPUTERS / Computer Science
-
20
Authors: et al.
Resource Type: eBook.
Subjects: Artificial intelligence--Congresses, Computer networks--Congresses, Information networks--Congresses, Web databases--Congresses
Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / General, TECHNOLOGY & ENGINEERING / Engineering (General)
Nájsť tento článok vo Web of Science 
Full Text Finder