Search Results - Theory of computation Semantics and reasoning Program semantics Algebraic semantics~

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

Authors: Gomes, Leandro Baillot, Patrick Gaboardi, Marco et al.

Contributors: Gomes, Leandro Baillot, Patrick Gaboardi, Marco et al.

Subject Terms: 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

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.35

On the Interpretation of Denotational Semantics.

Authors: Cardone, Felice

Source: Philosophies; Jun2025, Vol. 10 Issue 3, p54-N.PAG, 18p

Subject Terms: SEMANTICS, PROGRAMMING language semantics, MATHEMATICAL category theory, PROGRAMMING languages, INTUITIONISTIC mathematics, FUNCTIONAL programming (Computer science)

Processes Parametrised by an Algebraic Theory

Authors: Schmid, Todd Różowski, Wojciech Rot, Jurriaan et al.

Contributors: Schmid, Todd Różowski, Wojciech Rot, Jurriaan et al.

Source: Bojanczyk, M. (ed.), ICALP 2022: 49th International Colloquium on Automata, Languages, and Programming, pp. 132:1-132:20

Subject Terms: regular expressions, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Software Science, program semantics, ddc:004, 0101 mathematics, Theory of computation → Program reasoning, coalgebra, process algebra

File Description: application/pdf

Access URL: http://arxiv.org/abs/2202.06901
https://repository.ubn.ru.nl//bitstream/handle/2066/282992/282992.pdf
https://hdl.handle.net/2066/282992
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.132

Contextual Behavioural Metrics

Authors: Dal Lago, Ugo Murgia, Maurizio Foundations of Component-based Ubiquitous Systems (FOCUS) et al.

Contributors: Dal Lago, Ugo Murgia, Maurizio Foundations of Component-based Ubiquitous Systems (FOCUS) et al.

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; CONCUR 2023 - 34th International Conference on Concurrency Theory ; https://inria.hal.science/hal-04356984 ; CONCUR 2023 - 34th International Conference on Concurrency Theory, Sep 2023, Antwerp, Belgium. ⟨10.4230/LIPIcs.CONCUR.2023.38⟩ ; https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-279

Subject Terms: Theory of computation → Process calculi, Theory of computation → Program reasoning, Behavioural metrics, Differential Semantics, Labelled Transition Systems, [INFO]Computer Science [cs]

Subject Geographic: Antwerp, Belgium

Relation: info:eu-repo/grantAgreement//818616/EU/Differential Program Semantics/DIAPASoN

Availability: https://inria.hal.science/hal-04356984
https://inria.hal.science/hal-04356984v1/document
https://inria.hal.science/hal-04356984v1/file/concur2023.pdf
https://doi.org/10.4230/LIPIcs.CONCUR.2023.38

Recent mathematical advances in coupled cluster theory.

Authors: Faulstich, Fabian M.

Source: International Journal of Quantum Chemistry; 7/5/2024, Vol. 124 Issue 13, p1-27, 27p

Subject Terms: ALGEBRAIC geometry, NUMERICAL analysis, PHYSICAL & theoretical chemistry, COMPUTATIONAL chemistry

Geometric Loci and ChatGPT: Caveat Emptor! †.

Authors: Botana, Francisco Recio, Tomas

Source: Computation; Feb2024, Vol. 12 Issue 2, p30, 19p

Subject Terms: LOCUS (Mathematics), CHATGPT, PLANE curves, GEOMETRICAL constructions, ALGORITHMS, CHATBOTS

Bayesian estimation in veterinary pharmacology: A conceptual and practical introduction.

Authors: Woodward, Andrew P.¹ (AUTHOR) andrew.woodward@canberra.edu.au

Source: Journal of Veterinary Pharmacology & Therapeutics. Jul2024, Vol. 47 Issue 4, p322-352. 31p.

Vector Semantics

Authors: András Kornai

Resource Type: eBook.

Subjects: Semantics, Cognitive grammar

Categories: COMPUTERS / Speech & Audio Processing, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems, LANGUAGE ARTS & DISCIPLINES / Linguistics / General, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LITERARY CRITICISM / General, MATHEMATICS / Probability & Statistics / General

Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas.

Authors: Davydov, Artem Larionov, Aleksandr Nagul, Nadezhda

Source: Computation; May2024, Vol. 12 Issue 5, p95, 25p

Subject Terms: ROBOT control systems, SUPERVISORY control systems, ROBOTIC path planning, FORMAL languages, DYNAMICAL systems

A Mathematical Model for Universal Semantics.

Authors: E, Weinan Zhou, Yajun

Source: IEEE Transactions on Pattern Analysis & Machine Intelligence; Mar2022, Vol. 44 Issue 3, p1124-1132, 9p

Subject Terms: MATHEMATICAL models, MARKOV processes, MATHEMATICAL analysis, SEMANTICS, SOURCE code, DISTRIBUTION (Probability theory)

Quantifying artificial intelligence through algorithmic generalization.

Authors: Ito, Takuya Campbell, Murray Horesh, Lior et al.

Source: Nature Machine Intelligence; Aug2025, Vol. 7 Issue 8, p1195-1205, 11p

On the Optimization of Iterative Programming with Distributed Data Collections

Authors: Chlyah, Sarah Gesbert, Nils Genevès, Pierre et al.

Contributors: Chlyah, Sarah Gesbert, Nils Genevès, Pierre et al.

Source: https://inria.hal.science/hal-02066649 ; 2022.

Subject Terms: optimization, rewrite rules, distributed data, fixpoint operator, Recursion, Software and its engineering, Distributed computing methodologies, Computing methodologies, Algebraic semantics, Theory of computation, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Availability: https://inria.hal.science/hal-02066649
https://inria.hal.science/hal-02066649v6/document
https://inria.hal.science/hal-02066649v6/file/paper.pdf

Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques

Authors: Prebet, Enguerrand École normale supérieure de Lyon (ENS de Lyon) Université de Lyon et al.

Contributors: Prebet, Enguerrand École normale supérieure de Lyon (ENS de Lyon) Université de Lyon et al.

Source: ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming ; https://hal.science/hal-03920025 ; ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming, Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.114⟩

Subject Terms: Type System, Bisimulation, π-calculus, 2012 ACM Subject Classification Theory of computation → Semantics and reasoning, Pi Calculus, Imperative programming, Call-by-value λ-calculus, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Paris, France

Availability: https://hal.science/hal-03920025
https://hal.science/hal-03920025v1/document
https://hal.science/hal-03920025v1/file/lambda_ref.pdf
https://doi.org/10.4230/LIPIcs.ICALP.2022.114

Subordination Algebras as Semantic Environment of Input/Output Logic

Authors: De Domenico, Andrea Farjami, Ali Manoorkar, Krishna et al.

Source: Vrije Universiteit Amsterdam Repository

Index Terms: input/output logic, modal logic, Sahlqvist theory, subordination algebra, Conference contribution

URL: https://research.vu.nl/en/publications/fcb8b7e8-adcc-41db-a97e-eb24e1b45949
https://research.vu.nl/ws/files/222509955/Subordination_Algebras_as_Semantic_Environment_of_Input_or_Output_Logic.pdf
https://research.vu.nl/ws/files/222509955/Subordination_Algebras_as_Semantic_Environment_of_Input_or_Output_Logic.pdf

Combinatory Logic, Semantics and Cognition.

Authors: Rouabhi, Miloud Desclés, Jean-Pierre

Source: Journal of Cognitive Science; Jun2025, Vol. 26 Issue 2, p111-158, 48p

Advances in Proof-Theoretic Semantics

Authors: Thomas Piecha Peter Schroeder-Heister

Resource Type: eBook.

Subjects: Semantics, Semantics--Mathematical models--Congresses, Proof theory--Congresses

Categories: PHILOSOPHY / Logic, COMPUTERS / Computer Science, MATHEMATICS / Logic

Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)

Authors: Laura Kovács Kovács, Laura

Index Terms: Symbolic Computation, Formal Methods, Loop Analysis, Polynomial Invariants, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.4
Is Part Of LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)

Involutions on Relational Program Calculi.

Authors: Rewitzky, I. M. Sanders, J. W.

Source: Scientific Annals of Computer Science. 2008, Vol. 18, p129-171. 43p. 7 Diagrams.

Subject Terms: Galois theory, Boolean algebra, Algebraic logic, Lattice theory, Sequential analysis, Mathematical programming, Mathematical models, Determinism (Philosophy), Semantics

Semantic alignment across whole-number arithmetic and rational numbers: evidence from a Russian perspective.

Authors: Tyumeneva, Yulia A. Larina, Galina Alexandrova, Ekaterina et al.

Source: Thinking & Reasoning; May2018, Vol. 24 Issue 2, p198-220, 23p, 2 Diagrams, 7 Charts, 1 Graph

Subject Terms: MATHEMATICAL analysis, REASONING, PROBABILITY theory, SEMANTIC computing, NUMERICAL solutions to functional equations

Biologically-Based Computation: How Neural Details and Dynamics Are Suited for Implementing a Variety of Algorithms.

Authors: Dumont, Nicole Sandra-Yaffa Stöckel, Andreas Furlong, P. Michael et al.

Source: Brain Sciences (2076-3425); Feb2023, Vol. 13 Issue 2, p245, 29p

Subject Terms: GRID cells, ALGORITHMS, NEURONS