Výsledky vyhľadávania - "Specifying and Verifying and Reasoning about Programs—Mechanical verification"
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. :121-132
Predmety: 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 súboru: application/pdf
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: ACM Transactions on Programming Languages and Systems. 32:1-70
Predmety: 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 súboru: application/pdf
Prístupová URL adresa: https://hal.univ-reunion.fr/hal-01916989v1
https://hal.univ-reunion.fr/hal-01186167v1 -
3
Autori: a ďalší
Prispievatelia: a ďalší
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
Predmety: 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
Autori: a ďalší
Prispievatelia: a ďalší
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
Predmety: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: ISSN: 0164-0925.
Predmety: 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
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
9
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: http://www.nicta.com.au/people/norrishm/attachments/bibliographies_and_papers/2007/popl2007.pdf.
Predmety: ings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms Language, Theory, Verification Keywords Separation Logic, Interactive Theorem Proving
Popis súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
12
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4768; http://arxiv.org/pdf/cs/0411100v1.pdf
-
13
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.5597; http://arxiv.org/pdf/cs/0101017v1.pdf
-
14
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: https://hal.science/hal-00702306 ; 2012.
Predmety: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: https://hal.science/hal-00639351 ; 2011.
Predmety: 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
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: https://hal.science/hal-00653085 ; 2011.
Predmety: 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
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/postscript
-
20
Prispievatelia: The Pennsylvania State University CiteSeerX Archives
Predmety: 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 súboru: 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