Výsledky vyhľadávania - Theory of computation Semantics AND reasoning Program reasoning Program verification*

A Kleene algebra with tests for union bound reasoning about probabilistic programs

Autori: Gomes, Leandro Baillot, Patrick Gaboardi, Marco a ďalší

Prispievatelia: Gomes, Leandro Baillot, Patrick Gaboardi, Marco a ďalší

Predmety: union bound, Kleene algebras with tests Hoare logic equational reasoning probabilistic programs union bound formal verification, Theory of computation → Hoare logic, Hoare logic, equational reasoning, [INFO] Computer Science [cs], Theory of computation → Logic and verification, Theory of computation → Algebraic semantics, Kleene algebras with tests, probabilistic programs, ddc:004, formal verification, Theory of computation → Pre- and post-conditions

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.35

Towards Representing Processes and Reasoning with Process Descriptions on the Web

Autori: Andreas Harth Tobias Käfer Anisa Rula a ďalší

Prispievatelia: Andreas Harth Tobias Käfer Anisa Rula a ďalší

Zdroj: Transactions on Graph Data and Knowledge, Vol 2, Iss 1, Pp 1:1-1:32 (2024)
Transactions on Graph Data and Knowledge, 2 (1)

Predmety: Applied computing → Business process modeling, ddc:330, Economics, process ontology, Temporal logic, QA75.5-76.95, Process ontology, Information systems → Semantic web description languages, web services, temporal logic, Applied computing → Event-driven architectures, Computing methodologies → Temporal reasoning, Electronic computers. Computer science, Theory of computation → Program semantics, Process modelling, ddc:004, process modelling, Computing methodologies → Ontology engineering, Web services

Popis súboru: application/pdf

Prístupová URL adresa: https://doaj.org/article/ed74226a3e7a46faabe51358dc316174
https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.1.1

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Autori: Din, Crystal Hähnle, Reiner Henrio, Ludovic a ďalší

Prispievatelia: Din, Crystal Hähnle, Reiner Henrio, Ludovic a ďalší

Zdroj: ACM Transactions on Programming Languages and Systems

Predmety: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

Modular, compositional, and executable formal semantics for LLVM IR

Autori: Yannick Zakowski Calvin Beck Irene Yoon a ďalší

Prispievatelia: Yannick Zakowski Calvin Beck Irene Yoon a ďalší

Zdroj: Proceedings of the ACM on Programming Languages. 5:1-30

Predmety: Denotational semantics, Monads, Verified Compilation, Compilers, Program verification, LLVM, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Coq, 02 engineering and technology, Semantics, Theory of computation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3473572
https://hal.science/hal-03525711v1
https://hal.science/hal-03525711v1/document
https://doi.org/10.1145/3473572
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#ZakowskiBYZZZ21
https://dl.acm.org/doi/pdf/10.1145/3473572
https://dl.acm.org/doi/10.1145/3473572

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)

Autori: Suchert, Felix Zeidler, Lisza Castrillon, Jeronimo a ďalší

Prispievatelia: Suchert, Felix Zeidler, Lisza Castrillon, Jeronimo a ďalší

Predmety: concurrent programming, Theory of computation → Parallel computing models, ddc:004, verification, Software and its engineering → Parallel programming languages, scalability

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.16

Semantics for Noninterference with Interaction Trees (Artifact)

Autori: Silver, Lucas He, Paul Cecchetti, Ethan a ďalší

Prispievatelia: Silver, Lucas He, Paul Cecchetti, Ethan a ďalší

Predmety: Security and privacy → Information flow control, Security and privacy → Logic and verification, information-flow, monads, ddc:004, verification, Theory of computation → Denotational semantics, denotational semantics

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.6

A recipe for quantum graphical languages

Autori: Carette, Titouan Jeandel, Emmanuel Designing the Future of Computational Models (MOCQUA) a ďalší

Prispievatelia: Carette, Titouan Jeandel, Emmanuel Designing the Future of Computational Models (MOCQUA) a ďalší

Zdroj: ICALP 2020 ; https://hal.science/hal-02914177 ; ICALP 2020, 2020, Saarbrücken, Germany

Predmety: 2012 ACM Subject Classification Theory of computation → Quantum computation theory, Theory of computation → Semantics and reasoning, Mathematics of computing, Theory of computation → Equational logic and rewriting Keywords and phrases Categorical Quantum Mechanics, Quantum Computing, Category Theory Funding ANR-17-CE25-0009, PIA-GDN/Quantex, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]

Geografické téma: Saarbrücken, Germany

Relation: https://doi.org/10.4230/LIPIcs.ICALP.2020.118; info:eu-repo/semantics/altIdentifier/arxiv/2008.04193; ARXIV: 2008.04193

Dostupnosť: https://hal.science/hal-02914177
https://hal.science/hal-02914177v1/document
https://hal.science/hal-02914177v1/file/supparxiv.pdf

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autori: Parosh Aziz Abdulla Delia Kesner

Typ zdroja: eBook.

Predmet: Computer software--Congresses, Software engineering--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Mathematical Theory of Computation

Autori: STANFORD UNIV CA DEPT OF COMPUTER SCIENCE McCarthy, John

Zdroj: DTIC AND NTIS

Témy: Computer Programming and Software, COMPUTER PROGRAMS, COMPUTATIONS, COMPUTER AIDED DESIGN, VERIFICATION, MODELS, REUSABLE EQUIPMENT, THEORY, COMPUTER PROGRAMMING, MUTATIONS, MATHEMATICS, LOGIC, MECHANICAL PROPERTIES, REASONING, SOFTWARE ENGINEERING, REUSABLE EQUIPMENT., Text

URL: https://apps.dtic.mil/docs/citations/ADA239419

Probabilistic ω-Automata.

Autori: BAIER, CHRISTEL GRÖSSER, MARCUS BERTRAND, NATHALIE

Zdroj: Journal of the ACM. Feb2012, Vol. 59 Issue 1, p1-1:52. 52p.

Predmety: *MARKOV processes, *MACHINE theory, *SOFTWARE engineering, PROBABILISTIC automata, SOFTWARE verification, FORMAL languages, COMPUTER logic

Foundations of Software Science and Computation Structures

Autori: Patricia Bouyer Lutz Schröder

Typ zdroja: eBook.

Predmet: Information theory, Software engineering--Congresses, Computer software--Congresses, Computer systems

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Foundations of Software Science and Computation Structures

Autori: Jean Goubault-Larrecq Barbara König

Typ zdroja: eBook.

Predmet: Software engineering--Congresses, Computer software--Congresses

Kategórie: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autori: Orna Kupferman Pawel Sobocinski

Typ zdroja: eBook.

Predmet: Computer software--Congresses, Software engineering--Congresses

Kategórie: COMPUTERS / Computer Science

A formal model of semantic computing.

Autori: Jiang, Yuncheng

Zdroj: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Jul2019, Vol. 23 Issue 14, p5411-5429, 19p

Predmety: TURING machines, FINITE state machines, MACHINE theory, ROBOTS, SEMANTIC computing, ONTOLOGIES (Information retrieval), SEMANTICS

Contract as automaton: representing a simple financial agreement in computational form.

Autori: Flood, Mark D. Goodenough, Oliver R.

Zdroj: Artificial Intelligence & Law; Sep2022, Vol. 30 Issue 3, p391-416, 26p

Predmety: LOAN agreements, CONTRACTS, REASONING, DETERMINISTIC processes, COUNTERPARTIES (Finance)

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Autori: Christoph Benzmüller Marijn J.H. Heule Renate A. Schmidt

Typ zdroja: eBook.

Predmet: Automatic theorem proving--Congresses, Computer logic--Congresses, Artificial intelligence

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

CoqQ: Foundational Verification of Quantum Programs

Autori: Zhou, L Barthe, G Strub, PY a ďalší

Predmety: 4612 Software engineering, 4613 Theory of computation, 4903 Numerical and computational mathematics

Popis súboru: application/pdf

Relation: Proceedings of the ACM on Programming Languages; Proceedings of the ACM on Programming Languages, 2023, 7, (POPL), pp. 833-865; http://hdl.handle.net/10453/175412

Dostupnosť: http://hdl.handle.net/10453/175412

Generalized Distance Functions in the Theory of Computation.

Autori: SEDA, ANTHONY KAREL HITZLER, PASCAL

Zdroj: Computer Journal; May2010, Vol. 53 Issue 4, p443-464, 22p

Predmety: SEMANTICS, LOGIC programming, MATHEMATICS, TOPOLOGY, VERSIFICATION

Refinement Through Restraint: Bringing down the cost of Verification

Autori: Garrigue, J Keller, G Sumii, E a ďalší

Zdroj: urn:ISBN:978-1-4503-4219-3; urn:ISSN:1523-2867; urn:ISSN:1558-1160; International Conference on Functional Programming, Nara, Japan, 2016-09-19 - 2016-09-21

Témy: 4613 Theory Of Computation, 46 Information and Computing Sciences, 4612 Software Engineering, anzsrc-for: 4613 Theory Of Computation, anzsrc-for: 46 Information and Computing Sciences, anzsrc-for: 4612 Software Engineering, conference paper, http://purl.org/coar/resource_type/c_5794

URL: http://hdl.handle.net/1959.4/unsworks_43148
https://doi.org/10.1145/2951913.2951940
https://ts.data61.csiro.au/publications/nictaabstracts/OConnor_CRALMNSK_16.abstract.pml
https://ts.data61.csiro.au/publications/nictaabstracts/OConnor_CRALMNSK_16.abstract.pml

LFP – A Logical Framework with External Predicates (Announcement and survey)

Autori: Honsell, Furio Lenisa, Marina Liquori, Luigi a ďalší

Prispievatelia: Honsell, Furio Lenisa, Marina Liquori, Luigi a ďalší

Zdroj: Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday ; https://inria.hal.science/hal-00906807 ; Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, Nov 2013, Tel Aviv, Israel

Predmety: ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Geografické téma: Tel Aviv, Israel

Dostupnosť: https://inria.hal.science/hal-00906807
https://inria.hal.science/hal-00906807v2/document
https://inria.hal.science/hal-00906807v2/file/2012-avron-ws-12.pdf