Search Results - Theory of computation Semantics and reasoning Program semantics

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Authors: Din, Crystal Hähnle, Reiner Henrio, Ludovic et al.

Contributors: Din, Crystal Hähnle, Reiner Henrio, Ludovic et al.

Source: ACM Transactions on Programming Languages and Systems

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

File Description: application/pdf

Access URL: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

Towards Representing Processes and Reasoning with Process Descriptions on the Web

Authors: Andreas Harth Tobias Käfer Anisa Rula et al.

Contributors: Andreas Harth Tobias Käfer Anisa Rula et al.

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

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

File Description: application/pdf

Access URL: https://doaj.org/article/ed74226a3e7a46faabe51358dc316174
https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.1.1

A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations

Authors: Geoffroy G. Pistone P. Pistone, Paolo et al.

Contributors: Geoffroy G. Pistone P. Pistone, Paolo et al.

Source: Proceedings of CSL 2021, 29th EACSL Annual Conference on Computer Science Logic

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], partial metric spaces, Approximate program transformations, Partial metric spaces, Program metrics, Simply typed λ-calculus, program metrics, ddc:004, [INFO] Computer Science [cs], Theory of computation → Denotational semantics, approximate program transformations, simply typed λ-calculus, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

File Description: application/pdf

Access URL: https://hal.science/hal-03009790v1
https://doi.org/10.4230/lipics.csl.2021.23
https://hal.science/hal-03009790v1/document
https://drops.dagstuhl.de/opus/volltexte/2021/13457/pdf/LIPIcs-CSL-2021-23.pdf/
https://doi.org/10.4230/LIPIcs.CSL.2021.23
https://dblp.uni-trier.de/db/conf/csl/csl2021.html#GeoffroyP21
https://cris.unibo.it/handle/11585/834373
https://hal.archives-ouvertes.fr/hal-03009790/document
https://hal.archives-ouvertes.fr/hal-03009790
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2021.23
https://drops.dagstuhl.de/opus/volltexte/2021/13457/
https://hdl.handle.net/11585/834373
https://doi.org/10.4230/LIPIcs.CSL.2021.23

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

An overview of the quantum cognition research program.

Authors: Huang J Epping G Trueblood JS et al.

Source: Psychonomic bulletin & review [Psychon Bull Rev] 2025 Dec; Vol. 32 (6), pp. 2507-2556. Date of Electronic Publication: 2025 Jul 03.

Publication Type: Journal Article; Review

Journal Info: Publisher: Springer] Country of Publication: United States NLM ID: 9502924 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1531-5320 (Electronic) Linking ISSN: 10699384 NLM ISO Abbreviation: Psychon Bull Rev Subsets: MEDLINE

MeSH Terms: Quantum Theory* , Cognition* , Models, Psychological* , Probability Theory*, Humans ; Decision Making ; Judgment

The limits of fixed-order computation

Authors: Sagonas, K Swift, T Warren, DS

Source: THEORETICAL COMPUTER SCIENCE. 254(1-2):465-499

Subject Terms: stratification theories, well-founded semantics, non-monotonic reasoning, tabling, WELL-FOUNDED SEMANTICS, GENERAL LOGIC PROGRAMS, ALTERNATING FIXPOINT, NEGATION, RESOLUTION, SYSTEM, MODEL

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-36546

What we mean when we say semantic: Toward a multidisciplinary semantic glossary.

Authors: Reilly J Shain C Borghesani V et al.

Source: Psychonomic bulletin & review [Psychon Bull Rev] 2025 Feb; Vol. 32 (1), pp. 243-280. Date of Electronic Publication: 2024 Sep 04.

Publication Type: Journal Article; Review

Journal Info: Publisher: Springer] Country of Publication: United States NLM ID: 9502924 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1531-5320 (Electronic) Linking ISSN: 10699384 NLM ISO Abbreviation: Psychon Bull Rev Subsets: MEDLINE

MeSH Terms: Semantics* , Terminology as Topic*, Humans ; Psycholinguistics ; Concept Formation

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.

The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation

Authors: Simone Martini Martini, Simone

Index Terms: Semantics of programming languages, history of programming languages, mathematical theory of computation, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.8
Is Part Of OASIcs, Volume 86, Recent Developments in the Design and Implementation of Programming Languages (2020)

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

A formal model of semantic computing.

Authors: Jiang, Yuncheng

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

Subject Terms: TURING machines, FINITE state machines, MACHINE theory, ROBOTS, SEMANTIC computing, ONTOLOGIES (Information retrieval), 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)

Contextual hypotheses and semantics of logic programs

Authors: Martin, EA

Source: urn:ISSN:1471-0684; urn:ISSN:1475-3081; Theory and Practice of Logic Programming, 12, 6, 843-887

Index Terms: 46 Information and Computing Sciences, anzsrc-for: 46 Information and Computing Sciences, anzsrc-for: 4602 Artificial Intelligence, anzsrc-for: 0801 Artificial Intelligence and Image Processing, anzsrc-for: 0802 Computation Theory and Mathematics, anzsrc-for: 0803 Computer Software, anzsrc-for: 4613 Theory of computation, journal article, http://purl.org/coar/resource_type/c_6501

URL: http://hdl.handle.net/1959.4/unsworks_73688
https://doi.org/10.1017/S1471068411000378

How Hard Is It to Detect Surveillance? A Formal Study of Panopticons and Their Detectability Problem.

Authors: Liagkou, Vasiliki Nastou, Panayotis E. Spirakis, Paul et al.

Source: Cryptography (2410-387X); Sep2022, Vol. 6 Issue 3, pN.PAG-N.PAG, 18p

Subject Terms: PERSONAL information management, QUANTUM computers, COMPUTER security, COMPUTER networks, COMPUTER science

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

Compiling Probabilistic Programs for Variable Elimination with Information Flow

Authors: Jianlin Li Eric Wang Yizhou Zhang

Source: Proceedings of the ACM on Programming Languages. 8:1755-1780

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Reasoning about Web Applications: An Operational Semantics for HOP.

Authors: Boudol, Gérard Zhengqin Luo Rezk, Tamara et al.

Source: ACM Transactions on Programming Languages & Systems. Jun2012, Vol. 34 Issue 2, p10:1-10:40. 10p.

Subject Terms: *Application software, *HTML (Document markup language), *Internet, *Web browsers, Web-based user interfaces, Programming language semantics

A Language-Based Training Intervention to Enhance Cognitive Health in Community-Dwelling Older Adults

Source: A Language-Based Training Intervention to Enhance Cognitive Health in Community-Dwelling Older Adults

Generalized Distance Functions in the Theory of Computation.

Authors: SEDA, ANTHONY KAREL HITZLER, PASCAL

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

Subject Terms: SEMANTICS, LOGIC programming, MATHEMATICS, TOPOLOGY, VERSIFICATION