Search Results - Specifying and Verifying and Reasoning about Programs—Mechanical verification*
-
1
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. :121-132
Subject Terms: Program analysis General Terms Languages, Verification Keywords Operational Semantics, Operational Semantics, Static Analysis, Android, dalvik bytecode, static analysis, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, 0202 electrical engineering, electronic engineering, information engineering, Dalvik, Theory, 10. No inequality, Static Anal-ysis
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: General terms, Verification Additional Key Words and Phrases, Temporal logic, model checking, abstract interpretation, binary decision diagrams (BDDs
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.7830; http://www.cs.utah.edu/~mjones/reading/misc/actl.ps.gz
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Languages, Theory, Verification Keywords Membership Equational Logic, Term Rewriting, Termination
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.2475; http://www.dsic.upv.es/~slucas/papers/pepm04/pepm04.pdf
-
4
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs – mechanical verification. Keywords denotation, monads, polymorphism, theorem
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.7845; http://web.cecs.pdx.edu/~brianh/papers/icfp2012.pdf
-
5
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Programming Languages and Systems. 32:1-70
Subject Terms: programmation, Semantics of programming languages, Java bytecode, static analysis, abstract interpretation, termination analysis, path-length, [MATH] Mathematics [math], 02 engineering and technology, [INFO] Computer Science [cs], Verification Additional Key Words and Phrases: Abstract interpretation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Specifying and Verifying and Reasoning about Programs-Mechanical Verification, Semantics of Programming Languages-Denotational Semantics, 0202 electrical engineering, electronic engineering, information engineering, Theory, Program Analysis General Terms: Languages, logics and meanings of programs, Java
File Description: application/pdf
-
6
Authors:
Contributors:
Subject Terms: of Programs, Specifying and Verifying and Reasoning about Programs- Mechanical verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages- Operational semantics, D.2.4 [Software Engineering, Software/Program Verification- Correctness proofs, D.3.4 [Programming Languages, Processors- Optimization General Terms Languages, Verification, Algorithms Keywords Translation validation, scheduling optimizations, verified compilers, the Coq
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Source: Proceedings of the 14th International Workshop on Termination (WST) ; 14th International Workshop on Termination (WST) ; https://hal.univ-reunion.fr/hal-01451692 ; 14th International Workshop on Termination (WST), Jul 2014, Vienne, Austria. pp.65-69
Subject Terms: 1998 ACM Subject Classification D24 Software/Program Verification (Formal methods), F31 Specifying and Verifying and Reasoning about Programs (Mechanical verification), F32 Se-mantics of Programming Languages (Program analysis) Keywords and phrases Non-Termination, Android, Dalvik, Constraint Logic Programming, [INFO]Computer Science [cs]
-
8
Authors: et al.
Contributors: et al.
Source: ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014 ; https://hal.univ-reunion.fr/hal-01451693 ; ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014, Jan 2014, San Diego, United States. pp.121-132
Subject Terms: Android, Operational Semantics, Static Analysis, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, Program analysis General Terms Languages, Theory, Verification Keywords Operational Semantics, Dalvik, Static Anal-ysis, [INFO]Computer Science [cs]
Subject Geographic: San Diego, United States
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Correctness proofs, Formal methods, F.3.1 [Logics and meanings of programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification, Specification techniques, Invariants Keywords Compiler verification, compiler bootstrapping, ML, machine code verification, read-eval-print loop
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.191; http://www.cl.cam.ac.uk/~so294/documents/popl14.pdf
-
10
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Programming by contract, Correctness proofs, F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification Keywords extended stat, static verification, theorem provers, Java Modeling Language, JML4, ESC, ESC4
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Source: http://www.nicta.com.au/people/norrishm/attachments/bibliographies_and_papers/2007/popl2007.pdf.
Subject Terms: ings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms Language, Theory, Verification Keywords Separation Logic, Interactive Theorem Proving
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.5649; http://www.nicta.com.au/people/norrishm/attachments/bibliographies_and_papers/2007/popl2007.pdf
-
12
Authors: et al.
Contributors: et al.
Source: ISSN: 0164-0925.
Subject Terms: Java, termination analysis, Theory, Verification Additional Key Words and Phrases: Abstract interpretation, Java bytecode, Specifying and Verifying and Reasoning about Programs-Mechanical Verification, Semantics of Programming Languages-Denotational Semantics, Program Analysis General Terms: Languages, [INFO]Computer Science [cs], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors C.2.2 [Computer Systems Organization, Network Pro- tocols—Protocol verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical Verification, D.2.4 [Software, Software/Program Verification—Formal methods General Terms Security, Verification, Theory
File Description: application/pdf
-
14
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, C.3 [Special-purpose And Application-based Systems, Real–time and embedded systems, D.2.4 [Software Engineering, Software/Program Verification—Model checking, F.3.1 [Logics and Meanings of Programs, Mathematical Logic— Computational logic, F.4.1 [Mathematical Logic And Formal Languages, Specifying and Verifying and Reasoning about Programs —Mechanical verification, Specification techniques, G.3 [Probability And Statistics, Markov processes General Terms, Design, Theory, Verification Additional Key Words and Phrases, Probabilistic Timed Automata, Predicate Logics with Probabilities, Model Checking
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4768; http://arxiv.org/pdf/cs/0411100v1.pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Formal methods, Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms, Verification, Performance Additional Key Words and Phrases, Distributed systems, stochastic automata
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.9522; http://www.dirc.org.uk/publications/articles/papers/108.pdf
-
16
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms, Theory, Verification Additional Key Words and Phrases, Relative liveness properties, satisfaction within fairness, behavior abstraction, weakly continuation-closed
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.5597; http://arxiv.org/pdf/cs/0101017v1.pdf
-
17
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-00702306 ; 2012.
Subject Terms: Concurrency, Message-Passing, Verification, D.2.4 [Software/Program Verification]: Formal methods, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Mechanical verification, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
18
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-00639351 ; 2011.
Subject Terms: Concurrency, Parallelism, Verification, 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 languages, F.1.2 [Models of Computatio, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
19
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-00653085 ; 2011.
Subject Terms: Concurrency, Message-Passing, Verification, D.2.4 [Software/Program Verification]: Formal methods, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Mechanical verification, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
20
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, D.2.4 [Software Engineering, Program Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—mechanical verification, I.2.2 [Artificial Intelligence, Automatic Programming—program
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.9854; http://www.cs.neu.edu/home/attie/papers/TOPLAS98.pdf
Nájsť tento článok vo Web of Science 
Full Text Finder