Search

Your search keyword '"Separation logic"' showing total 7 results
Start Over Descriptor "Separation logic" Database OAPEN Library
7 results on '"Separation logic"'

1. Automated Reasoning

Author

Benzmüller, Christoph, Heule, Marijn J.H., and Schmidt, Renate A.

Subjects
Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, Description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UK Computer hardware
Abstract

Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models. This book is open access.

Published
2024
Full Text
View/download PDF

2. Automated Reasoning

Author

Benzmüller, Christoph, Heule, Marijn J.H., and Schmidt, Renate A.

Subjects
Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, Description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::U Computing and Information Technology::UK Computer hardware
Abstract

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models. This book is open access.

Published
2024
Full Text
View/download PDF

3. Automated Reasoning with Analytic Tableaux and Related Methods

Author

Ramanayake, Revantha and Urban, Josef

Subjects
tableaux, tableaux calculus, sequent calculus, proof theory, theorem proving, proof assistant, natural deduction, formalized proof, decision procedures, automated deduction, SMT, resolution, cut-elimination, non-classical logics, modal logic, intuitionistic, inear logic, substructural logic, separation logic, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures
Abstract

This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.

Published
2023
Full Text
View/download PDF

4. Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author

Bauer, Lujo and Küsters, Ralf

Subjects
authentication, computer science, computer software selection and evaluation, cryptography, data privacy, formal logic, formal methods, formal specification, internet, privacy, program compilers, programming languages, security analysis, security systems, semantics, separation logic, software engineering, specifications, verification, world wide web, thema EDItEUR::U Computing and Information Technology::UY Computer science
Abstract

authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide web

Published
2018
Full Text
View/download PDF

5. Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Author

Beyer, Dirk and Huisman, Marieke

Subjects
authentication, computer science, computer software selection and evaluation, cryptography, data privacy, formal logic, formal methods, formal specification, internet, privacy, program compilers, programming languages, security systems, semantics, separation logic, software engineering, verification, world wide web, thema EDItEUR::U Computing and Information Technology::UY Computer science
Abstract

authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security systems; semantics; separation logic; software engineering; verification; world wide web

Published
2018
Full Text
View/download PDF

6. Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author

Ahmed, Amal

Subjects
artificial intelligence, computer architecture, computer software selection and evaluation, distributed computer systems, formal logic, formal model, java, model checking, processors, program compilers, program verification, programming language, semantics, separation logic, software engineering specifications, theorem proving, type, systems verification, thema EDItEUR::U Computing and Information Technology::UY Computer science
Abstract

artificial intelligence; computer architecture; computer software selection and evaluation; distributed computer systems; formal logic; formal model; java; model checking; processors; program compilers; program verification; programming language; semantics; separation logic; software engineering specifications; theorem proving; type; systems verification

Published
2018
Full Text
View/download PDF

7. Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Author

Baier, Christel and Dal Lago, Ugo

Subjects
artificial intelligence, computer software, selection and evaluation, formal logic, graph theory, modal logic, petri nets, program compilers, programming language, semantics, separation logic, software engineering, theorem proving, type systems, verification, thema EDItEUR::U Computing and Information Technology::UY Computer science
Abstract

artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results