Search Results - 2012 ACM Subject Classification Theory of computation → Program semantics*

The 2-Dimensional Constraint Loop Problem is Decidable

Authors: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël et al.

Contributors: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël et al.

Source: 51st International Colloquium on Automata, Languages, and Programming
Leibniz International Proceedings in Informatics

Subject Terms: Asymptotic Expansions, FOS: Computer and information sciences, Convex Sets, Computer Science - Logic in Computer Science, Logic, 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops, [INFO] Computer Science [cs], 16. Peace & justice, Minkowski-Weyl, Semantics, 3. Good health, Logic in Computer Science (cs.LO), Theory of computation → Program verification, and Theory of Programming ], 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops Minkowski-Weyl Convex Sets Asymptotic Expansions Digital Object Identifier 10.4230/LIPIcs.ICALP.2024.140 Category Track B: Automata Logic Semantics and Theory of Programming ], Linear Constraints Loops, ddc:004, Asymptotic Expansions Digital Object Identifier 10.4230/LIPIcs.ICALP.2024.140 Category Track B: Automata

File Description: application/pdf

Access URL: http://arxiv.org/abs/2405.12992
https://inria.hal.science/hal-04644417v1
https://inria.hal.science/hal-04644417v1/document
https://doi.org/10.4230/lipics.icalp.2024.140
https://ora.ox.ac.uk/objects/uuid:b023968e-302c-4c2e-b11a-5d011ea028f8
https://doi.org/10.4230/lipics.icalp.2024.140
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.140
http://hdl.handle.net/21.11116/0000-000F-97B9-6
http://hdl.handle.net/21.11116/0000-000F-97BB-4

Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs

Authors: Barbarossa, Davide Pistone, Paolo Davide Barbarossa and Paolo Pistone

Contributors: Barbarossa, Davide Pistone, Paolo Davide Barbarossa and Paolo Pistone

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.3.2, F.4.1, [INFO] Computer Science [cs], 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus, FOS: Mathematics, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus Theory of computation Ñ Categorical semantics Theory of computation Ñ Linear logic Relational semantics, Relational semantics, Lawvere quantale, Theory of computation → Linear logic, Computer Science - Programming Languages, Theory of computation Ñ Linear logic Relational semantics, Program metrics, Lawvere quantale Digital Object Identifier 10.4230/LIPIcs.CSL.2024.14, Theory of computation → Lambda calculus, Mathematics - Logic, Differential lambda-calculus, Logic in Computer Science (cs.LO), Theory of computation → Categorical semantics, Tropical semiring, ddc:004, Logic (math.LO), Theory of computation Ñ Categorical semantics, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2311.15704
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.14
https://hal.science/hal-04777395v1
https://hal.science/hal-04777395v1/document
https://doi.org/10.4230/lipics.csl.2024.14

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs

Authors: Dal Lago, Ugo Gavazzo, Francesco gavazzo, francesco et al.

Contributors: Dal Lago, Ugo Gavazzo, Francesco gavazzo, francesco et al.

Source: Proceedings of FSCD 2021, 6th International Conference on Formal Structures for Computation and Deduction

Subject Terms: linearity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], program equivalence, Algebraic effects, Full abstraction, Linearity, Program equivalence, full abstraction, 2012 ACM Subject Classification Theory of computation → Operational semantics phrases algebraic effects, ddc:004, Theory of computation → Operational semantics, algebraic effects, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

File Description: application/pdf

Access URL: https://inria.hal.science/hal-03520742v1
https://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-12849
https://arxiv.org/abs/2106.12849
https://drops.dagstuhl.de/opus/volltexte/2021/14261/pdf/LIPIcs-FSCD-2021-23.pdf/
https://cris.unibo.it/handle/11585/834269
https://doi.org/10.4230/LIPIcs.FSCD.2021.23
https://arxiv.org/pdf/2106.12849
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.23

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

Authors: Prebet, Enguerrand Enguerrand Prebet

Contributors: Prebet, Enguerrand Enguerrand Prebet

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

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.130

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation (Research Report)

Authors: Aubert, Clément Cristescu, Ioana Augusta University et al.

Contributors: Aubert, Clément Cristescu, Ioana Augusta University et al.

Source: https://hal.archives-ouvertes.fr/hal-02568250 ; 2020.

Subject Terms: Distributed and reversible computation, Computing meth- odologies → Concurrent programming languages Keywords and phrases Formal semantics, Process algebras and calculi, Bisimulation, Reversible CCS, Configuration structures, 2012 ACM Subject Classification Theory of computation → Program semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2005.06814; hal-02568250; https://hal.archives-ouvertes.fr/hal-02568250; https://hal.archives-ouvertes.fr/hal-02568250/document; https://hal.archives-ouvertes.fr/hal-02568250/file/2020_05_08_standalone.pdf; ARXIV: 2005.06814

Availability: https://hal.archives-ouvertes.fr/hal-02568250
https://hal.archives-ouvertes.fr/hal-02568250/document
https://hal.archives-ouvertes.fr/hal-02568250/file/2020_05_08_standalone.pdf

History-Preserving Bisimulations on Reversible Calculus of Communicating Systems

Authors: Aubert, Clément Cristescu, Ioana Augusta University et al.

Contributors: Aubert, Clément Cristescu, Ioana Augusta University et al.

Source: https://hal.science/hal-01778656 ; 2019.

Subject Terms: Hereditary history-preserving bisimulation, Reversible CCS, Formal semantics, Process algebras and calculi, 2012 ACM Subject Classification Theory of computation → Program semantics, Computing method-ologies → Concurrent programming languages Keywords and phrases Formal semantics, Configuration structures, Distributed and reversible computation, Auto-concurrency, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1804.10355; ARXIV: 1804.10355

Availability: https://hal.science/hal-01778656
https://hal.science/hal-01778656v2/document
https://hal.science/hal-01778656v2/file/2019_02_12_standalone.pdf

a complexity approach to tree algebras the bounded case

Authors: Colcombet, Thomas Jaquard, Arthur Thomas Colcombet and Arthur Jaquard et al.

Contributors: Colcombet, Thomas Jaquard, Arthur Thomas Colcombet and Arthur Jaquard et al.

Source: Nikhil Bansal, Emanuela Merelli, and James Worrell, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 2012 ACM Subject Classification Theory of computation → Tree languages, Logic, language theory, language theory Digital Object Identifier 10.4230/LIPIcs.ICALP.2021.127 Category Track B: Automata, Theory of computation → Tree languages, Theory of computation → Regular languages, Theory of computation → Regular languages phrases Tree algebra, Semantics, Tree algebra, infinite tree, and Theory of Programming, ddc:004

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/opus/volltexte/2021/14196/
https://drops.dagstuhl.de/opus/volltexte/2021/14196/pdf/LIPIcs-ICALP-2021-127.pdf/
https://dblp.uni-trier.de/db/conf/icalp/icalp2021.html#ColcombetJ21
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.127
https://hal.science/hal-03473726v1
https://hal.science/hal-03473726v1/document
https://doi.org/10.4230/lipics.icalp.2021.127

Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs

Authors: Barbarossa, Davide Pistone, Paolo University of Bath Bath et al.

Contributors: Barbarossa, Davide Pistone, Paolo University of Bath Bath et al.

Source: Computer Science Logic 2024 (CSL 2024) ; https://hal.science/hal-04777395 ; Computer Science Logic 2024 (CSL 2024), Feb 2024, Napoli, France. ⟨10.4230/LIPIcs.CSL.2024.14⟩

Subject Terms: Tropical semiring, Program metrics, Lawvere quantale, Theory of computation → Lambda calculus, Theory of computation → Categorical semantics, Theory of computation → Linear logic, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus Theory of computation Ñ Categorical semantics Theory of computation Ñ Linear logic Relational semantics, Lawvere quantale Digital Object Identifier 10.4230/LIPIcs.CSL.2024.14, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus, Theory of computation Ñ Categorical semantics, Theory of computation Ñ Linear logic Relational semantics, Differential lambda-calculus, Relational semantics, [INFO]Computer Science [cs]

Subject Geographic: Napoli, France

Availability: https://hal.science/hal-04777395
https://hal.science/hal-04777395v1/document
https://hal.science/hal-04777395v1/file/LIPIcs.CSL.2024.14.pdf
https://doi.org/10.4230/LIPIcs.CSL.2024.14

Böhm and Taylor for All!

Authors: Dufour, Aloÿs Mazza, Damiano Laboratoire d'Informatique de Paris-Nord (LIPN) et al.

Contributors: Dufour, Aloÿs Mazza, Damiano Laboratoire d'Informatique de Paris-Nord (LIPN) et al.

Source: 9th International on Formal Structure for Computation Deduction
https://hal.science/hal-04797294
9th International on Formal Structure for Computation Deduction, Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.FSCD.2024.29⟩

Subject Terms: 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation Linear logic Differential linear logic Taylor expansion of lambda-terms Böhm trees Process calculi .FSCD.2024.26, Theory of computation Linear logic, Differential linear logic, Taylor expansion of lambda-terms, Böhm trees, Process calculi .FSCD.2024.26, Linear logic, Process calculi, Theory of computation → Linear logic, Theory of computation → Denotational semantics, Theory of computation → Operational semantics, Theory of computation → Lambda calculus, Theory of computation → Process calculi, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Tallinn, Estonia

Time: Tallinn, Estonia

Availability: https://hal.science/hal-04797294
https://hal.science/hal-04797294v1/document
https://hal.science/hal-04797294v1/file/BohmTaylor.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2024.29

A recipe for quantum graphical languages

Authors: Carette, Titouan Jeandel, Emmanuel Designing the Future of Computational Models (MOCQUA) et al.

Contributors: Carette, Titouan Jeandel, Emmanuel Designing the Future of Computational Models (MOCQUA) et al.

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

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

Subject Geographic: Saarbrücken, Germany

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

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

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

Modeling and Accessing Smart Materials with Integrity Constraints in the Shapes Constraint Language and Ontologies—The SmaDi Way.

Authors: Özçep, Özgür L. Leemhuis, Mena Winkler, Maximilian et al.

Source: Advanced Engineering Materials; Apr2025, Vol. 27 Issue 8, p1-17, 17p

Subject Terms: SPARQL (Computer program language), LINKED data (Semantic Web), SMART materials, CONSORTIA, SYSTEMS software, RDF (Document markup language)

Integrating Linguistic and Eye Movements Features for Arabic Text Readability Assessment Using ML and DL Models.

Authors: Baazeem, Ibtehal Al-Khalifa, Hend Al-Salman, Abdulmalik

Source: Computation; Nov2025, Vol. 13 Issue 11, p258, 36p

Subject Terms: EYE tracking, MACHINE learning, SEMANTICS, DEEP learning, COGNITIVE psychology, ARABIC language, READABILITY formulas

A Combined Virtual Electrode-Based ESA and CNN Method for MI-EEG Signal Feature Extraction and Classification.

Authors: Lun, Xiangmin Zhang, Yifei Zhu, Mengyang et al.

Source: Sensors (14248220); Nov2023, Vol. 23 Issue 21, p8893, 30p

Subject Terms: CONVOLUTIONAL neural networks, FEATURE extraction, COMPUTER-aided diagnosis, SIGNAL classification, BRAIN-computer interfaces, BRAINWASHING

Eigenspectrum regularisation reverse neighbourhood discriminative learning.

Authors: Xie, Ming Tan, Hengliang Du, Jiao et al.

Source: IET Computer Vision (Wiley-Blackwell); Sep2024, Vol. 18 Issue 6, p842-858, 17p

Subject Terms: PATTERN recognition systems, IMAGE recognition (Computer vision), FISHER discriminant analysis, FEATURE extraction, S-matrix theory

Construction of Countably Infinite Programs That Evade Malware/Non-Malware Classification for Any Given Formal System †.

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

Source: Cryptography (2410-387X); Mar2025, Vol. 9 Issue 1, p16, 26p

Subject Terms: MALWARE, ANTI-malware (Computer software), TURING machines, INTERNET security, CLASSIFICATION algorithms

Hamiltonian Complexity in the Thermodynamic Limit.

Authors: Aharonov, Dorit Irani, Sandy

Source: Journal of the ACM; Dec2025, Vol. 72 Issue 6, p1-82, 82p

Probabilistic Programming with Exact Conditions.

Authors: Stein, Dario Staton, Sam

Source: Journal of the ACM; Feb2024, Vol. 71 Issue 1, p1-53, 53p

Subject Terms: PROGRAMMING languages, MEASURE theory, FOREIGN language education, PROBABILITY theory

A Java Library to Perform S -Expansions of Lie Algebras.

Authors: Inostroza, Carlos Kondrashuk, Igor Merino, Nelson et al.

Source: Axioms (2075-1680); Oct2025, Vol. 14 Issue 10, p735, 55p

Subject Terms: LIE algebras, SEMIGROUPS (Algebra), MATHEMATICS, MATHEMATICAL physics, SOFTWARE libraries (Computer programming), UTILITIES (Computer programs)

Vector Flows That Compute the Capacity of Discrete Memoryless Channels †.

Authors: Beretta, Guglielmo Pelillo, Marcello

Source: Entropy; Apr2025, Vol. 27 Issue 4, p362, 25p

Subject Terms: DYNAMICAL systems, INFORMATION theory, INFORMATION storage & retrieval systems, ALGORITHMS