Výsledky vyhledávání - "Specifying and Verifying and Reasoning about Programs—Assertions"
-
1
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory — Semantics, D.4.6 [Security and Protection, Access Controls, Information Flow Controls, Verification, F.3.1 [Logics and Mean- ings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, pre- and post-conditions. General Terms Security, Languages Keywords Dependent Type Theory, Information Flow, Erasure, Data Structures
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.681.9502; http://software.imdea.org/%7Ealeks/rhtt/ifds.pdf
-
2
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Techniques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inheritance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification techniques. General Terms, Specification
Popis souboru: application/pdf
-
3
Autoři: a další
Přispěvatelé: a další
Témata: Specifying and Verifying and Reasoning about Programs — Assertions, invariants, preand post-conditions, specification techniques
Popis souboru: application/pdf
-
4
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Pre- and
Popis souboru: application/pdf
-
5
Autoři: a další
Přispěvatelé: a další
Témata: D.2.4 [Software/Program Verification] Programming by contract, Assertion checkers F.3.1 [Specifying and Verifying and Reasoning about Programs] Assertions, Invariant, Pre- and post-conditions, Specification techniques
Popis souboru: application/pdf
-
6
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Formal Methods, Model Checking, D.1.3 [Programming Techniques, Concurrent Pro- gramming, F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Me- chanical Verification General Terms Algorithms, Design, Languages, Verification Keywords Memory Models, Axiomatic Specifications, Bounded Model Checking, SAT
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.687.730; http://homes.cs.washington.edu/%7Eemina/pubs/memsat.pldi10.pdf
-
7
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory— Semantics, D.4.6 [Operating System, Security and Protection—Access Controls, Information Flow Con- trols, Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, invariants, logics of programs, pre- and post-conditions General Terms, Security, Languages Additional Key Words and Phrases, Information flow, access control, type theory ACM Reference Format
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.492; http://software.imdea.org/%7Ealeks/rhtt/rhtt_toplas.pdf
-
8
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
-
9
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Tech- niques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inher- itance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification tech- niques. General Terms, Specification
Popis souboru: application/pdf
-
10
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.7 [Software Engineering, Distribution and Maintenance—documentation, D.2.8 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Logics of programs, Specification techniques General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Separation Logic, Hyperdoctrines, Abstraction Contents
Popis souboru: application/pdf
-
11
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement—Documentation, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, logics of programs, specification techniques General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Separation logic, hyperdoctrines, abstraction ACM Reference Format
Popis souboru: application/pdf
-
12
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.7 [Software Engineering, Distribution and Mainten- ance|documentation, D.2.8 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs|Assertions, Logics of programs, Specication techniques General Terms, Realiability, Theory, Verication Additional Key Words and Phrases, Separation Logic, Hyperdoctrines, Abstraction Contents
Popis souboru: application/pdf
-
13
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.7 [Software Engineering, Distribution and Maintenance—documentation, D.2.8 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Logics of programs, Specification techniques General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Separation Logic, Hyperdoctrines, Abstraction Contents
Popis souboru: application/pdf
-
14
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.7 [Software Engineering, Distribution and Maintenance—documentation, D.2.8 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Logics of programs, Specification techniques General Terms, Realiability, Theory, Verification Additional Key Words and Phrases, Separation Logic, Copying Garbage Collector, Local Reasoning
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.3315; http://www.itu.dk/~birkedal/papers/locrcg.pdf
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: ftp://ftp.cs.iastate.edu/pub/techreports/TR03-04/TR.ps.gz
Popis souboru: application/postscript
-
16
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/pdf
-
17
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/pdf
-
18
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/pdf
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: ftp://ftp.cs.bgu.ac.il/pub/people/mcodish/coneg-full.ps.gz
Témata: Categories and Subject Descriptors, D.1.6 [Programming Languages, Logic Programming, D.3.4 [Programming Languages, Processors---compilers, optimization, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs---assertions, invariants, logics of programs General Terms, Languages, Theory Additional Key Words and Phrases, Abstract interpretation, Boolean functions, dataflow analysis, global analysis, groundness analysis, program analysis, sharing analysis
Popis souboru: application/postscript
-
20
Autoři:
Přispěvatelé:
Popis souboru: application/pdf
Nájsť tento článok vo Web of Science