Suchergebnisse - Specifying and Verifying and Reasoning about Programs General Terms Algorithms
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. :749-758
Schlagwörter: probabilistic couplings, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, General Terms Differential privacy, Logic in Computer Science (cs.LO), Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, F31 [Specifying and Verify, ing and Reasoning about Programs], Data Structures and Algorithms (cs.DS), F.3.1, Cryptography and Security (cs.CR)
Dateibeschreibung: application/pdf
Zugangs-URL: http://dl.acm.org/ft_gateway.cfm?id=2934554&type=pdf
http://arxiv.org/abs/1601.05047
https://inria.hal.science/hal-01411097v1/document
https://inria.hal.science/hal-01411097v1
https://doi.org/10.1145/2933575.2934554
https://arxiv.org/pdf/1601.05047.pdf
https://128.84.21.199/abs/1601.05047?context=cs.DS
https://arxiv.org/abs/1601.05047
https://hal.inria.fr/hal-01411097
https://dl.acm.org/doi/pdf/10.1145/2933575.2934554
http://ui.adsabs.harvard.edu/abs/2016arXiv160105047B/abstract
https://hal.archives-ouvertes.fr/hal-01411097
https://dblp.uni-trier.de/db/journals/corr/corr1601.html#BartheGGHS16
https://hal.inria.fr/hal-01411097/document -
2
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Algorithms, Verification
Dateibeschreibung: application/pdf
-
3
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming – Parallel Programming, D.3.3 [Programming Languages, Language Constructs and Features – Frameworks, Concurrent programming structures, E.1 [Data Structures, Distributed data structures, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Algorithms, Languages, Theory Keywords Transactional Boosting, non-blocking algorithms, abstract locks
Dateibeschreibung: application/pdf
-
4
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Algorithms, Verification, Reliability Keywords Partial-order
Dateibeschreibung: application/pdf
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Formal methods, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification, D.3.2 [Lan- guage Classifications, Concurrent, distributed, and parallel lan- guages, F.1.2 [Models of Computation, Parallelism and concur- rency General Terms Algorithms, Reliability, Verification Keywords Concurrency, Parallelism, Verification
Dateibeschreibung: application/pdf
-
6
Autoren:
Weitere Verfasser:
Schlagwörter: D.2.4 [Software Engineering, Program Verification—For- mal methods, Validation, F.3.1 [Logics and meanings of Programs, Specifying and Verifying and Reasoning about Programs—Invariants, Mechanical verification, G.1.0 [Nu- merical Analysis, General—Computer Arithmetic, Error Analysis, Stability and Instability General Terms Algorithms, Design, Experimentation, Reliability, Verifica- tion Keywords Abstract Interpretation, Floating-Point Numbers, Numeri- cal Accuracy
Dateibeschreibung: application/pdf
-
7
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, F.3.1 [Logics and Mean- ing of Programs, Specifying and Verifying and Reasoning about Programs, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving General Terms Algorithms, Theory, Reliability, Verification Keywords Craig Interpolants, Decision Procedures, Satisfiability Module Theories, Program Analysis, Data Structures
Dateibeschreibung: application/pdf
-
8
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, F.3.1 [Logics and Mean- ing of Programs, Specifying and Verifying and Reasoning about Programs, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving General Terms Algorithms, Theory, Reliability, Verification Keywords Craig Interpolants, Decision Procedures, Satisfiability Module Theories, Program Analysis, Data Structures
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.1183; http://www.eecs.berkeley.edu/~nishant/papers/Interpolation.pdf
-
9
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
-
10
Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives
Schlagwörter: General Terms Algorithms, Languages, Verification Keywords 0-1-principle, free theorems, parallel prefix computation, relational
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, F.3.1 [Logics and Mean- ing of Programs, Specifying and Verifying and Reasoning about Programs, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Reliability, Security, Theory, Verifi- cation Keywords Dynamic Slicing, Dynamic Chopping, Path Condition, Information Flow Control
Dateibeschreibung: application/pdf
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Program Verification--Formal methods, Validation, F.3.1 [Logics and meanings of Programs, Specifying and Verifying and Reasoning about Programs--Invariants, Mechanical verification, G.1.0 [Numerical Analysis, General--Computer Arithmetic, Error Analysis, Stability and Instability General Terms Algorithms, Design, Experimentation, Reliability, Verification Keywords Abstract Interpretation, Floating-Point Numbers, Numerical Accuracy
Dateibeschreibung: application/postscript
-
13
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs, I.2.3 [Artifical Intelligence, Deduction, Inference Engines, Resolution General Terms Algorithms, Theory, Reliability, Verification Keywords Craig Interpolants, Decision Procedures, Satisfiability Module Theories, Program Analysis, Data Structures
Dateibeschreibung: application/pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://d3s.mff.cuni.cz/publications/download/2012-ICPE-BulejBuresKezniklKoubkovaPodzimekTuma-SPL.pdf.
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Assertion checkers, F.3.1 [Specifying and Verifying and Reasoning about Programs, Assertions General Terms Algorithms, Theory Keywords performance testing, regression benchmarking
Dateibeschreibung: application/pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors F.3.1 [Specifying and Verifying and Reasoning about Programs, Semantics of Programming Languages- Program analysis, K.6.5 [Security and Protection, Verification. General Terms Algorithms, Design, Security, Languages, Verification Keywords Software security, Vulnerability analysis, Formal vulnerability specification, Common
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.7143; http://www.ict.swin.edu.au/personal/jgrundy/papers/ase2012_1.pdf
-
16
Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Model checking, F.3.1[Specifying and Verifying and Reasoning about Programs, Mechanical verification General Terms Algorithms, Reliability, Verification Keywords Abstraction, Bounded model checking, SAT proofs, Software Ver-ification, Underapproximation-Widening
Dateibeschreibung: application/postscript
-
17
Autoren:
Quelle: International Journal on Software Tools for Technology Transfer; Aug2024, Vol. 26 Issue 4, p445-461, 17p
Schlagwörter: SEMANTICS
-
18
Autoren: Abu-Naba'a, Layla A.
Quelle: Jordan Journal of Dentistry; Oct2025, Vol. 2 Issue 4, p6-16, 11p
-
19
Autoren: Andritsakis, Eleutherios Christos
Quelle: Computation; Aug2025, Vol. 13 Issue 8, p202, 84p
-
20
Autoren:
Quelle: Pattern Recognition & Image Analysis; Sep2024, Vol. 34 Issue 3, p503-508, 6p
Nájsť tento článok vo Web of Science 
Full Text Finder