Suchergebnisse - "Specifying and Verifying and Reasoning about Programs- assertions"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
3
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Specifying and Verifying and Reasoning about Programs — Assertions, invariants, preand post-conditions, specification techniques
Dateibeschreibung: application/pdf
-
4
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
6
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf.
Schlagwörter: 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
Dateibeschreibung: 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
Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5177
http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf -
9
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
12
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
13
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ftp://ftp.cs.iastate.edu/pub/techreports/TR03-04/TR.ps.gz
Dateibeschreibung: application/postscript
-
16
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Assertions
Dateibeschreibung: application/pdf
-
17
Autoren: et al.
Weitere Verfasser: et al.
Dateibeschreibung: application/pdf
-
18
Autoren: et al.
Weitere Verfasser: et al.
Dateibeschreibung: application/pdf
-
19
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ftp://ftp.cs.bgu.ac.il/pub/people/mcodish/coneg-full.ps.gz
Schlagwörter: 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
Dateibeschreibung: application/postscript
-
20
Autoren:
Weitere Verfasser:
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science