Výsledky vyhledávání - Software/Program Verification—Class invariants General Terms*
-
1
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
3
Autoři:
Zdroj: Journal of the ACM; Jun2013, Vol. 60 Issue 3, p1-73, 73p
-
4
Autoři: a další
Přispěvatelé: a další
Témata: and Reasoning about Programs—Invariants General Terms Design, Languages, Performance, Verification Keywords Alias analysis, Incrementalization, Program Transformation, Runtime Verification
Popis souboru: application/pdf
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf.
Témata: 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
Popis souboru: 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
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
7
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
8
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
9
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
10
Autoři:
Zdroj: Journal of the ACM; Jun2013, Vol. 60 Issue 3, p1-56, 56p
-
11
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
12
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
13
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
14
Autoři: a další
Zdroj: ACM Transactions on Programming Languages & Systems; Jan2009, Vol. 31 Issue 1, p1:1-1:48, 48p, 1 Diagram, 13 Charts
-
15
Autoři:
Resource Type: eBook.
Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses
Categories: COMPUTERS / Computer Science
Plný text ve formátu PDF Plný text ve formátu ePub -
16
Autoři: Anupam Chattopadhyay
Resource Type: eBook.
Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture, MATHEMATICS / Applied
-
17
Autoři: a další
Resource Type: eBook.
Témata: 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
Autoři:
Resource Type: eBook.
Témata: 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
Autoři:
Resource Type: eBook.
Témata: 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
Autoři: a další
Resource Type: eBook.
Témata: 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