Search Results - Theory of computation Semantics AND reasoning Program semantics Algebraic semantics*

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

on ranking function synthesis and termination for polynomial programs

Authors: Neumann, Eike Ouaknine, Joël Worrell, James et al.

Contributors: Neumann, Eike Ouaknine, Joël Worrell, James et al.

Source: 31st International Conference on Concurrency Theory
Leibniz International Proceedings in Informatics
31st International Conference on Concurrency Theory (CONCUR)

Subject Terms: Polynomial ranking functions, Theory of computation → Semantics and reasoning, ddc:004, Polynomial programs, Semi-algebraic sets

File Description: application/pdf

Access URL: https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_3316423
https://drops.dagstuhl.de/opus/volltexte/2020/12827/
https://pure.mpg.de/pubman/item/item_3316423_2/component/file_3341983/LIPIcs-CONCUR-2020-15.pdf
https://drops.dagstuhl.de/opus/volltexte/2020/12827/pdf/LIPIcs-CONCUR-2020-15.pdf/
https://dblp.uni-trier.de/db/conf/concur/concur2020.html#NeumannO020
https://cronfa.swan.ac.uk/Record/cronfa60141/Download/60141__24405__0a0ed5bc2b3e4072adc017829d382c95.pdf
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.15
http://hdl.handle.net/21.11116/0000-0008-6A73-0
http://hdl.handle.net/21.11116/0000-0009-2F15-C

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

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

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.

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025) ; https://hal.science/hal-04196675 ; 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Feb 2025, Amsterdam, Netherlands. pp.35:1--35:19, ⟨10.4230/LIPIcs.CSL.2025.35⟩

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

Subject Geographic: Amsterdam, Netherlands

Availability: https://hal.science/hal-04196675
https://hal.science/hal-04196675v3/document
https://hal.science/hal-04196675v3/file/agkat_tr_HAL.pdf
https://doi.org/10.4230/LIPIcs.CSL.2025.35

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

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

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

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

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

Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness

Authors: Schmid, Todd Kappé, Tobias Kozen, Dexter et al.

Contributors: Schmid, Todd Kappé, Tobias Kozen, Dexter et al.

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, program equivalence, coequations, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Kleene algebra, completeness, 0202 electrical engineering, electronic engineering, information engineering, ddc:004, Theory of computation → Program reasoning, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2102.08286
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.142