Search Results - CCS Concepts: • Theory of computation → Programming logic
-
1
Authors: et al.
Contributors: et al.
Source: PLDI '22
Subject Terms: Separation logic, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], type systems, separation logic, 0202 electrical engineering, electronic engineering, information engineering, Iris, Type theory Rust, 02 engineering and technology, prophecy variables, verification, CCS Concepts: • Theory of computation → Programming logic
File Description: application/pdf
-
2
Authors: et al.
Contributors: 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
-
3
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Computational Logic. 25:1-40
Subject Terms: FOS: Computer and information sciences, causal consistency, causal liveness, causal safety, labelled transition system with independence, Reversible computation, Computer Science - Logic in Computer Science, Labelled Transition System with Independence, 0211 other engineering and technologies, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Causal Consistency, 01 natural sciences, Logic in Computer Science (cs.LO), Process calculi, Reversible Computation, CCS Concepts: Theory of computation → Concurrency Process calculi • Computing methodologies → Concurrent programming languages Reversible Computation, Causal Safety
File Description: application/pdf
-
4
Authors:
Contributors:
Source: Proceedings of the ACM on Management of Data. 3:1-20
Subject Terms: Bounded Derivation Depth Property, CCS Concepts: Theory of computation → Constraint and logic programming Finite Model Theory Automated reasoning Logic and databases Chase, Logic and databases Chase, Automated reasoning, CCS Concepts, Finite unification sets, TGDs, FC/BDD Conjecture, Theory of computation → Constraint and logic programming, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Existential Rules, Tuple Generating Dependencies, BDD, FO-Rewritability, Finite Model Theory, FUS, Finite Controllability
File Description: application/pdf
-
5
Authors:
Contributors:
Source: Proceedings of the ACM on Programming Languages. 8:1757-1786
Subject Terms: Separation Logic, Security and privacy → Logic and verification Formal Verification, Memory Allocators, CCS Concepts: Theory of computation → Separation logic, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
-
6
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages. 8:2514-2546
Subject Terms: Denotational semantics, geometry of interaction, CCS Concepts: Theory of computation → Lambda calculus Probabilistic computation Linear logic Type theory Denotational semantics intersection types, Type theory, probabilistic programming, Theory of computation → Lambda calculus, Linear logic, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, CCS Concepts, Bayesian networks, programming languages, intersection types, 0202 electrical engineering, electronic engineering, information engineering, bounds, Probabilistic computation
File Description: application/pdf
-
7
Authors:
Contributors:
Source: 21st International Conference on Formal Methods in Computer-Aided Design (FMCAD 2021)
Subject Terms: superposition calculus, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], SAT solving, formal methods, hardware and system verification, formale Methode, Theory of computation → Automated reasoning, rechnerunterstützte Systementwicklung, 02 engineering and technology, [INFO] Computer Science [cs], CCS Concepts: Theory of computation → Automated reasoning Logic and verification Constraint and logic programming Theorem proving, Hardwareverifikation, CCS Concepts, Constraint and logic programming Theorem proving, 0202 electrical engineering, electronic engineering, information engineering, Logic and verification, computer-aided system design, Theorem proving, first-order logic
File Description: application/pdf
Access URL: https://research.vu.nl/en/publications/593885b3-4f56-4c70-ac7b-c9e90a040e25
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_32
https://hdl.handle.net/1871.1/593885b3-4f56-4c70-ac7b-c9e90a040e25
https://hdl.handle.net/1871.1/2d1c8438-6ae4-4102-acdc-b0671fc22cda
https://doi.org/10.1145/3565366
https://research.vu.nl/en/publications/2d1c8438-6ae4-4102-acdc-b0671fc22cda
https://inria.hal.science/hal-03485200v1/document
https://inria.hal.science/hal-03485200v1
https://doi.org/10.5281/zenodo.4552499
https://inria.hal.science/hal-04298574v1
https://doi.org/10.1145/3565366
https://inria.hal.science/hal-04298574v1/document -
8
Authors:
Contributors:
Source: Proceedings of the ACM on Programming Languages. 6:1-28
Subject Terms: Separation logic, Program verification, 0202 electrical engineering, electronic engineering, information engineering, CCS Concepts: • Theory of computation → Separation logic, 02 engineering and technology, Tracing garbage collection, Live data, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
-
9
Authors: Ehrhard, Thomas
Contributors: Ehrhard, Thomas
Source: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. :370-383
Subject Terms: Denotational semantics, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], linear logic, 0202 electrical engineering, electronic engineering, information engineering, Categorical semantics Denotational semantics, CCS Concepts: • Theory of computation → Denotational semantics, 02 engineering and technology, probabilistic programming languages
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages
Subject Terms: CCS Concepts: • Theory of computation → Type theory, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Parametricity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Efects, CCS Concepts: • Theory of computation → Functional constructs, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 02 engineering and technology, 16. Peace & justice, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts: • Theory of computation → Program verification, 0202 electrical engineering, electronic engineering, information engineering, Exceptions, Functional constructs
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3341712
https://inria.hal.science/hal-02189128v1/document
https://doi.org/10.1145/3341712
https://inria.hal.science/hal-02189128v1
https://dl.acm.org/doi/pdf/10.1145/3341712
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#PedrotTFT19
https://dlnext.acm.org/doi/abs/10.1145/3341712
https://hal.inria.fr/hal-02189128
https://dl.acm.org/doi/10.1145/3341712
https://hal.inria.fr/hal-02189128/document -
11
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages. 6:1-32
Subject Terms: [MATH.MATH-QA] Mathematics [math]/Quantum Algebra [math.QA], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Program specifications, [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], Linear logic, [MATH.MATH-AT] Mathematics [math]/Algebraic Topology [math.AT], 02 engineering and technology, certified abstraction layers, [MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT], game semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts: • Theory of computation → Program verification, • Software and its engineering → Correctness object-based semantics, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-GT] Computer Science [cs]/Computer Science and Game Theory [cs.GT], 0202 electrical engineering, electronic engineering, information engineering, Logic and verification, [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], Abstraction, Program semantics, program refinement, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
File Description: application/pdf
-
12
Authors:
Contributors:
Source: Proceedings of the ACM on Programming Languages. 7:806-832
Subject Terms: CCS Concepts, Shape Analysis, Computational Complexity, Type theory, Logic and verification Polynomial time, CCS Concepts: Theory of computation → Complexity theory and logic Type theory Logic and verification Polynomial time, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Theory of computation → Complexity theory and logic, [INFO] Computer Science [cs], Noninterference, 01 natural sciences
File Description: application/pdf
-
13
Authors:
Contributors:
Source: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming-PPDP '18
Proceedings of the 20th International Symposium on Principles and Practice of Declarative ProgrammingSubject Terms: FOS: Computer and information sciences, domain-specific lan-guages, Computer Science - Programming Languages, certified programming, • Software and its engineering → Correctness, contract languages, Domain specific languages, financial contracts, 02 engineering and technology, [INFO] Computer Science [cs], Keywords financial contracts, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Source code generation, domain-specific languages, software correctness, 0202 electrical engineering, electronic engineering, information engineering, Logic and verification, Coq, CCS Concepts • Theory of computation → Program verification, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: https://hal.inria.fr/hal-01883559/file/PPDP18-cert-comp-fin.pdf
http://arxiv.org/abs/2108.03076
https://inria.hal.science/hal-01883559v1/document
https://inria.hal.science/hal-01883559v1
https://doi.org/10.1145/3236950.3236955
http://arxiv.org/pdf/2108.03076.pdf
https://arxiv.org/abs/2108.03076
https://hal.inria.fr/hal-01883559
https://dblp.uni-trier.de/db/journals/corr/corr2108.html#abs-2108-03076
https://arxiv.org/pdf/2108.03076
https://arxiv.org/abs/2108.03076
https://hal.inria.fr/hal-01883559/document
http://128.84.4.18/abs/2108.03076?context=cs -
14
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages
Subject Terms: computer-checked proofs, FOS: Computer and information sciences, presentation of monads, Monads, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Science - Programming Languages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Reduction systems, 0102 computer and information sciences, 02 engineering and technology, initial semantics, 01 natural sciences, Monads, Initial semantics, Higher-order languages, Reduction systems, Lambda calculus, monadic substitution, signatures, 0202 electrical engineering, electronic engineering, information engineering, CCS Concepts: • Theory of computation → Equational logic and rewriting, Higher-order languages, Categorical semantics Additional Key Words and Phrases: Initial semantics, syntax, and phrases free monads, Lambda calculus, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3371099
http://arxiv.org/abs/1911.06391
https://inria.hal.science/hal-02380682v1
https://doi.org/10.1145/3371099
https://inria.hal.science/hal-02380682v1/document
https://arxiv.org/abs/1911.06391
http://ui.adsabs.harvard.edu/abs/2019arXiv191106391A/abstract
https://arxiv.org/pdf/1911.06391
https://hal.inria.fr/hal-02380682/document
https://doi.org/10.1145/3371099
https://hal.univ-cotedazur.fr/hal-02380682v1
https://hal.inria.fr/hal-02380682
https://flore.unifi.it/handle/2158/1184279
https://dl.acm.org/doi/10.1145/3371099
https://dl.acm.org/doi/abs/10.1145/3371099
https://hdl.handle.net/2158/1184279
https://doi.org/10.1145/3371099 -
15
Authors: Charguéraud, Arthur
Contributors: Charguéraud, Arthur
Subject Terms: Program verification, CCS Concepts: • Theory of computation → Separation logic, Coq, Logic and verification Separation Logic, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
-
16
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages ; 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) ; https://hal.archives-ouvertes.fr/hal-01633165 ; 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Jan 2018, Los Angeles, CA, United States. pp.66, ⟨10.1145/3158154⟩ ; https://popl18.sigplan.org/home
Subject Terms: Operational semantics, concurrency, Rust, logical relations, type systems, Programming logic, Separation logic, CCS Concepts: • Theory of computation → Programming logic, Additional Key Words and Phrases: Rust, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Los Angeles, CA, United States
Relation: info:eu-repo/grantAgreement//683289/EU/Logical Foundations for the Future of Safe Systems Programming/RustBelt; hal-01633165; https://hal.archives-ouvertes.fr/hal-01633165; https://hal.archives-ouvertes.fr/hal-01633165v2/document; https://hal.archives-ouvertes.fr/hal-01633165v2/file/paper.pdf
-
17
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages
Subject Terms: FOS: Computer and information sciences, CCS Concepts: • Theory of computation → Type theory, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], expected time, type systems, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Probabilistic computation almost-sure termination, Logic in Computer Science (cs.LO), intersection types, 0202 electrical engineering, electronic engineering, information engineering, almost-sure termination, Lambda calculus
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3434313
http://arxiv.org/abs/2010.12689
https://hal.science/hal-03044416v1
https://doi.org/10.1145/3434313
https://hal.science/hal-03044416v1/document
https://cris.unibo.it/handle/11585/834265
https://arxiv.org/abs/2010.12689
https://dblp.uni-trier.de/db/journals/corr/corr2010.html#abs-2010-12689
https://dl.acm.org/doi/10.1145/3434313
https://dl.acm.org/doi/pdf/10.1145/3434313
https://popl21.sigplan.org/details/POPL-2021-research-papers/32/Intersection-Types-and-Positive-Almost-Sure-Termination
http://arxiv.org/pdf/2010.12689.pdf
https://ui.adsabs.harvard.edu/abs/2020arXiv201012689D/abstract
https://arxiv.org/abs/2010.12689
https://dl-acm-org.ezproxy.unibo.it/doi/10.1145/3434313
https://doi.org/10.1145/3434313
https://hdl.handle.net/11585/834265 -
18
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer Science - Programming Languages, Additional Key Words and Phrases: Program sensitivity, Program analysis, 02 engineering and technology, 16. Peace & justice, CCS Concepts: • Theory of computation → Pre-and post-conditions, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), Program verification, Kantorovich distance ACM Reference Format, 0202 electrical engineering, electronic engineering, information engineering, relational program logics, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: http://dl.acm.org/ft_gateway.cfm?id=3158145&type=pdf
http://arxiv.org/abs/1708.02537
https://hal.science/hal-01959322v1/document
https://doi.org/10.1145/3158145
https://hal.science/hal-01959322v1
https://arxiv.org/pdf/1708.02537.pdf
https://ui.adsabs.harvard.edu/abs/2017arXiv170802537B/abstract
https://arxiv.org/abs/1708.02537
https://core.ac.uk/display/86419347
https://arxiv.org/abs/1708.02537
http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#BartheEGHS18
https://dl.acm.org/doi/10.1145/3158145
https://hal.archives-ouvertes.fr/hal-01959322
https://dl.acm.org/doi/pdf/10.1145/3158145
https://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-02537 -
19
Authors: et al.
Contributors: et al.
Source: Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18. :711-719
Subject Terms: CCS CONCEPTS • Theory of computation → Database query languages (prin- ciples), Database query processing and optimization (theory), databases, • Information systems → Query opera- tors, Language-integrated queries, 02 engineering and technology, data-centric languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Func- tional constructs, • Software and its engineering → Imperative languages, KEYWORDS Language-integrated queries, Compilers, 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering
File Description: application/pdf
Access URL: http://dl.acm.org/ft_gateway.cfm?id=3185973&type=pdf
https://hal.science/hal-01717995v2/document
https://hal.science/hal-01717995v2
https://doi.org/10.1145/3184558.3185973
https://dblp.uni-trier.de/db/conf/www/www2018c.html#BenzakenCDL0V18
https://hal.archives-ouvertes.fr/hal-01717995/document -
20
Authors: et al.
Contributors: et al.
Source: Prof. Solar-Lezama
Subject Terms: Control structures, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], •Software and its engineering → Functional languages, delimited continuations ACM Reference format: James Koppel, Additional Key Words and Phrases: monads, 02 engineering and technology, Gabriel Scherer, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], and Armando Solar-Lezama 2018 Capturing the Future by Replaying the Past, CCS Concepts: •Theory of computation → Control primitives, 0202 electrical engineering, electronic engineering, information engineering, Functional constructs, General programming languages
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3236771
https://inria.hal.science/hal-01929178v1/document
https://inria.hal.science/hal-01929178v1
https://doi.org/10.1145/3236771
https://dl.acm.org/doi/pdf/10.1145/3236771
http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#KoppelSS18
https://hal.inria.fr/hal-01929178
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#KoppelSS18
https://hal.inria.fr/hal-01929178/document
https://dspace.mit.edu/handle/1721.1/117385
https://orcid.org/0000-0002-3948-6904
http://hdl.handle.net/1721.1/117385
https://orcid.org/0000-0001-7604-8252
Nájsť tento článok vo Web of Science 
Full Text Finder