Výsledky vyhledávání - specifying and verifying and reasoning about (programs OR progress) general terms algorithms
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. :749-758
Témata: 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)
Popis souboru: application/pdf
Přístupová URL adresa: 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
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
3
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
4
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
5
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
6
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 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
-
7
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
-
8
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
9
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
10
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: General Terms Algorithms, Languages, Verification Keywords 0-1-principle, free theorems, parallel prefix computation, relational
Popis souboru: application/pdf
-
11
Autoři: Abu-Naba'a, Layla A.
Zdroj: Jordan Journal of Dentistry; Oct2025, Vol. 2 Issue 4, p6-16, 11p
-
12
Autoři: a další
Zdroj: Frontiers in Neuroinformatics; 2025, p1-25, 25p
-
13
Autoři: a další
Zdroj: Sociological Methods & Research; Nov2025, Vol. 54 Issue 4, p1624-1682, 59p
-
14
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/postscript
-
15
Autoři: Edwards, Darren J.
Zdroj: Frontiers in Computational Neuroscience; 2025, p1-53, 53p
-
16
Autoři:
Zdroj: BioData Mining; 1/9/2025, Vol. 18 Issue 1, p1-31, 31p
-
17
Zdroj: Innovation in Aging; 2024 Supplement, Vol. 8, p1-1377, 1377p
-
18
Autoři:
Zdroj: International Journal on Software Tools for Technology Transfer; Aug2024, Vol. 26 Issue 4, p445-461, 17p
Témata: SEMANTICS
-
19
Zdroj: Computation; Aug2025, Vol. 13 Issue 8, p202, 84p
-
20
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Nájsť tento článok vo Web of Science 
Full Text 
Full Text Finder