Search Results - 2012 ACM Subject Classification Theory of computation → Program semantics
-
1
Authors:
Contributors:
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
-
2
Authors: et al.
Contributors: et al.
Source: 51st International Colloquium on Automata, Languages, and Programming
Leibniz International Proceedings in InformaticsSubject 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 -
3
Authors: et al.
Contributors: 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 -
4
Authors:
Contributors:
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
-
5
Authors: et al.
Contributors: 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
-
6
Authors: et al.
Contributors: 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
-
7
Authors: et al.
Contributors: 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 -
8
Authors: et al.
Contributors: 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]
-
9
Authors: et al.
Contributors: 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]
Time: Tallinn, Estonia
-
10
Authors: et al.
Contributors: 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
-
11
Authors: et al.
Source: Cognitive Neurodynamics; 11/10/2025, Vol. 20 Issue 1, p1-30, 30p
-
12
Authors: et al.
Source: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p
-
13
Authors: et al.
Source: Advanced Engineering Materials; Apr2025, Vol. 27 Issue 8, p1-17, 17p
-
14
Authors:
Source: Sociological Methods & Research; Aug2025, Vol. 54 Issue 3, p1017-1073, 57p
-
15
Authors:
Source: Computation; Nov2025, Vol. 13 Issue 11, p258, 36p
Subject Terms: EYE tracking, MACHINE learning, SEMANTICS, DEEP learning, COGNITIVE psychology, ARABIC language, READABILITY formulas
-
16
Authors: 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
-
17
Authors: et al.
Source: IET Computer Vision (Wiley-Blackwell); Sep2024, Vol. 18 Issue 6, p842-858, 17p
-
18
Authors: et al.
Source: Scientific Papers: Animal Science & Biotechnologies / Lucrari Stiintifice: Zootehnie si Biotehnologii. 2024, Vol. 57 Issue 1, p1-36. 36p.
Subjects: Assessment of education, Computer science education, Landscape assessment, Master's degree, Computer simulation, Educational outcomes
PDF Full Text -
19
Authors: et al.
Source: Water Resources Research; Mar2025, Vol. 61 Issue 3, p1-26, 26p
Subject Terms: RAINFALL, URBAN watersheds, FLOOD forecasting, DRAINAGE pipes, BURIED pipes (Engineering)
-
20
Authors: et al.
Source: Behavioral Sciences (2076-328X); Oct2025, Vol. 15 Issue 10, p1327, 22p
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text