Search Results - Theory of computation Semantics and reasoning Program reasoning Program verification

Modular, compositional, and executable formal semantics for LLVM IR

Authors: Yannick Zakowski Calvin Beck Irene Yoon et al.

Contributors: Yannick Zakowski Calvin Beck Irene Yoon et al.

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

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

File Description: application/pdf

Access URL: 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

Mathematical Theory of Computation

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

Source: DTIC AND NTIS

Index Terms: 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.

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

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

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

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

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

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

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

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

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

Refinement Through Restraint: Bringing down the cost of Verification

Authors: Garrigue, J Keller, G Sumii, E et al.

Source: 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

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

Annotated transition systems for verifying concurrent programs

Authors: Paczkowski, Pawel

Subject Terms: 004.01

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.660279

Exploring Minds: Modes of Modeling and Simulation in Artificial Intelligence.

Authors: Greif, Hajo

Source: Perspectives on Science; 8/20/2021, Vol. 29 Issue 4, p409-435, 27p

Subject Terms: ANALOGY, ARTIFICIAL intelligence, IMITATIVE behavior, SIMULATION methods & models, MODEL theory, ISOMORPHISM (Mathematics)

Evolutionary Trajectories of Consciousness: From Biological Foundations to Technological Horizons.

Authors: Gusev, Evgenii Sarapultsev, Alexey Komelkova, Maria

Source: Brain Sciences (2076-3425); Jul2025, Vol. 15 Issue 7, p734, 45p

Subject Terms: CONSCIOUSNESS, SUBJECTIVITY, INFORMATION networks, HUMAN evolution, COMPUTATIONAL neuroscience, LIFE sciences, INFORMATION theory

The Influence of Computerized Dynamic Assessment on the Learning Potential of Graphical Analogical Reasoning in Children with Autism: Evidence from Eye-Movement Synchronization.

Authors: Zhang, Kun Zhang, Ying Chen, Jingying et al.

Source: Behavioral Sciences (2076-328X); Sep2025, Vol. 15 Issue 9, p1188, 26p

Decision Procedures for Set-Valued Fields

Authors: Kuncak, Viktor Rinard, Martin

Source: ENTCS: Electronic Notes in Theoretical Computer Science. May2005, Vol. 131, p51-62. 12p.

Subject Terms: Electronic file management, Information theory, Database management, Computer science

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Authors: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. et al.

Source: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p

Subject Terms: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models.

Authors: Yordanov, Boyan Dunn, Sara-jane Gravill, Colin et al.

Source: Journal of Computational Biology; Sep2023, Vol. 30 Issue 9, p1046-1058, 13p

Goals as reward-producing programs.

Authors: Davidson, Guy Todd, Graham Togelius, Julian et al.

Source: Nature Machine Intelligence; Feb2025, Vol. 7 Issue 2, p205-220, 16p

Aligning generalization between humans and machines.

Authors: Ilievski, Filip Hammer, Barbara van Harmelen, Frank et al.

Source: Nature Machine Intelligence; Sep2025, Vol. 7 Issue 9, p1378-1389, 12p

Brain tumour segmentation framework with deep nuanced reasoning and Swin‐T.

Authors: Xu, Yang Yu, Kun Qi, Guanqiu et al.

Source: IET Image Processing (Wiley-Blackwell); May2024, Vol. 18 Issue 6, p1550-1564, 15p

Subject Terms: BRAIN tumors, IMAGE segmentation, TRANSFORMER models, DIAGNOSTIC imaging, BRAIN imaging, SOURCE code, GABOR filters

Second language embodiment of action verbs: the impact of bilingual experience as a multidimensional spectrum.

Authors: Lu, Xiaojun Yang, Jing

Source: Bilingualism: Language & Cognition; Aug2025, Vol. 28 Issue 4, p1117-1133, 17p

Subject Terms: BILINGUALISM, SECOND language acquisition, LANGUAGE ability, VERBAL behavior, MENTAL representation, MEANING (Philosophy), EXPERTISE, LARGE-scale brain networks

A Semi-Automated Framework for Flood Ontology Construction with an Application in Risk Communication.

Authors: Li, Shenglin Erickson, Caleb Zajac, Michal et al.

Source: Water (20734441); Oct2025, Vol. 17 Issue 19, p2801, 31p

Subject Terms: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

Program Abstracts from the GSA 2024 Annual Scientific Meeting, “The Fortitude Factor”.

Source: Innovation in Aging; 2024 Supplement, Vol. 8, p1-1377, 1377p