Výsledky vyhledávání - Specifying AND Verifying AND Reasoning about Programs 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 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
-
3
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, D.2.5 [Software Engineering, Testing and Debugging, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Verification, Algorithms, Reliability
Popis souboru: application/pdf
-
4
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
-
5
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging, F.2.1 [Analysis of Algorithms, Numerical Algorithms---Computation of transforms, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms, Reliability, Algorithms, Verification Additional Key Words and Phrases, Built-in testing, concurrent error detection, debugging, fault tolerance, Fourier Transform, result-checking, self-correcting
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.4747; http://http.cs.berkeley.edu/~blum/fourier.ps
-
6
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, C.1.2 [Multiple Data Stream Architectures (Multiprocessors, Parallel processors, D.1.3 [Concurrent Programming, Parallel programming, F.3.1 [Specifying and Verifying and Reasoning about Programs] General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Relaxed Memory Models, Semantics, Verified Compilation ACM Reference Format
Popis souboru: application/pdf
-
7
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, C.1.2 [Multiple Data Stream Architectures (Multiprocessors, Parallel processors, D.1.3 [Concurrent Programming, Parallel programming, F.3.1 [Specifying and Verifying and Reasoning about Programs] General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Relaxed Memory Models, Verified Compilation, Semantics Contents
Popis souboru: application/pdf
-
8
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Veri¯- cation, D.2.5 [Software Engineering, Testing and De- bugging, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Reliability, Veri¯cation Keywords Symbolic simulation
Popis souboru: application/pdf
-
9
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming, D.4.1 [Operating Systems, Process Management-deadlocks, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms, Algorithms, Theory Additional Key Words and Phrases, Deadlock detection, program development, stepwise refinement, termination
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.9479; http://www.cs.utexas.edu/users/misra/scannedPdf.dir/QuiescenceDetection.pdf
-
10
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.2 [Programming Techniques, Automatic Programming, D.3.2 [Programming Languages, Language Classifications--very high-level anguages, SETL, D.3.4. [Programming Languages, Processors--optimization, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical A gorithms and Problems--computations discrete struc- tures, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms, Algorithms, Languages, Theory, Verification Additional Key Words and Phrases, Program transformation, differentiable expression
Popis souboru: application/pdf
-
11
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, F.2.0 [Analysis of Algorithms and Problem Complexity, General, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms, Verification, Theory. Additional Key Words and Phrases, Integer loops, Termination, Linear constraints. ACM Reference Format
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.724.7716; http://www2.mta.ac.il/%7Eamirben/downloadable/popl2013jv.pdf
-
12
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, Reliability Keywords Partial-order
Popis souboru: application/pdf
-
13
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging� F.2.1 [Analysis of Algorithms, Numerical Algorithms|Computation of transforms � F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms, Reliability, Algorithms, Veri cation Additional Key Words and Phrases, Built-in testing, concurrent error detection, debugging, fault tolerance, Fourier Transform, result-checking, self-correcting
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.5436; http://www.cs.cmu.edu/~mblum/research/pdf/fourier.pdf
-
14
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verifi- cation, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms, Algorithms, Verification Additional Key Words and Phrases, SystemC, simulation, partial-order reduction, Model Check- ing, formal
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.454.2214; http://mogentes.eu/files/todaes2010.pdf
-
15
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
-
16
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs–specification techniques, D.2.4 [Software Engineering, Software/Program Verification–reliability, D.2.5 [Software Engineering, Testing and Debugging–monitors General Terms Languages, Algorithms, Verification Keywords Atomicity, Yield Annotation, Cooperability, Parallelism, Concurrency 1. Cooperative Concurrency
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.604; http://users.soe.ucsc.edu/~cormac/papers/ppopp11.pdf
-
17
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, I.2.11 [Artificial Intelligence, Distributed Artificial Intelligence—Multiagent Systems, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification General Terms, Algorithms, Languages, Theory, Verification Additional Key Words and Phrases, Commitments, Agent communication, Verification of multiagent systems
Popis souboru: application/pdf
-
18
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
-
19
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
-
20
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
Nájsť tento článok vo Web of Science