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.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
Dateibeschreibung: application/pdf
-
4
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
-
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
9
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
11
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
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
-
13
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.454.2214; http://mogentes.eu/files/todaes2010.pdf
-
15
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
-
16
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
18
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
-
19
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
-
20
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
Nájsť tento článok vo Web of Science