Výsledky vyhledávání - "Specifying and Verifying and Reasoning about Programs—Mechanical Verification"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. :121-132
Témata: 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
Popis souboru: application/pdf
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM Transactions on Programming Languages and Systems. 32:1-70
Témata: 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
Popis souboru: application/pdf
Přístupová URL adresa: https://hal.univ-reunion.fr/hal-01916989v1
https://hal.univ-reunion.fr/hal-01186167v1 -
3
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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]
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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]
Geografické téma: San Diego, United States
-
5
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
-
6
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 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
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0164-0925.
Témata: 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]
-
8
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
9
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: http://www.nicta.com.au/people/norrishm/attachments/bibliographies_and_papers/2007/popl2007.pdf.
Témata: ings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms Language, Theory, Verification Keywords Separation Logic, Interactive Theorem Proving
Popis souboru: 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
-
11
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
12
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4768; http://arxiv.org/pdf/cs/0411100v1.pdf
-
13
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.5597; http://arxiv.org/pdf/cs/0101017v1.pdf
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-00702306 ; 2012.
Témata: 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]
-
15
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-00639351 ; 2011.
Témata: 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]
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-00653085 ; 2011.
Témata: 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
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 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
-
19
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.1 [Software Engineering, Requirements / Specifications- Methodologies, D.2.2 [Software Engineering, Tools and Techniques- Petri Nets, D.2.10 [Software Engineering, Design- Methodologies, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs- Mechanical verification, Specification techniques, H.2.8 [Database Management, Database applications, 1.6.4 [Simulation &, Modelling, Model Validation and Analysis
Popis souboru: application/postscript
-
20
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: Categories and Subject Descriptors D.2.1 [Software Engineering, Requirements/Specifications, D.2.2 [Software Engineering, Design Tools and Techniques--Modules and interfaces, Software libraries, State diagrams, D.2.4 [Software Engineering, Software/Program Verification--Formal methods, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs-- Mechanical verification, Specification techniques General Terms Component-based design
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.2182; http://www.soe.ucsc.edu/~luca/papers/01/FSE01.ps
Nájsť tento článok vo Web of Science 
Full Text Finder