Suchergebnisse - Theory of computation→Programming logic

RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code

Autoren: Matsushita, Yusuke Denis, Xavier Jourdan, Jacques-Henri et al.

Weitere Verfasser: Matsushita, Yusuke Denis, Xavier Jourdan, Jacques-Henri et al.

Quelle: PLDI '22

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-03777103v1/document
https://inria.hal.science/hal-03777103v1
https://doi.org/10.1145/3519939.3523704
http://hdl.handle.net/21.11116/0000-000A-AF23-A
http://hdl.handle.net/21.11116/0000-000A-AF25-8

Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact)

Autoren: Silver, Lucas Westbrook, Eddy Yacavone, Matthew et al.

Weitere Verfasser: Silver, Lucas Westbrook, Eddy Yacavone, Matthew et al.

Schlagwörter: specification, Theory of computation → Programming logic, Theory of computation → Separation logic, monads, ddc:004, verification, Theory of computation → Denotational semantics, coinduction

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.8

RustBelt: Securing the Foundations of the Rust Programming Language

Autoren: Jung, Ralf Jourdan, Jacques-Henri Krebbers, Robbert et al.

Weitere Verfasser: Jung, Ralf Jourdan, Jacques-Henri Krebbers, Robbert et al.

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

Schlagwörter: 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]

Geographisches Schlagwort: 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

Verfügbarkeit: 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
https://doi.org/10.1145/3158154

Development Use Cases for Semantics-Driven Modeling Languages: Choosing underlying semantic theories and definition techniques must closely follow intended use cases for the modeling language.

Autoren: BROY, MANFRED RUMPE, BERNHARD

Quelle: Communications of the ACM; May2023, Vol. 66 Issue 5, p62-71, 10p, 3 Diagrams, 4 Charts, 1 Graph

Schlagwörter: COMPUTER software development, PROGRAMMING language semantics, PROGRAMMING languages, SYSTEMS design, SYNTAX in programming languages

A Novel Approach to Integrating Community Knowledge into Fuzzy Logic-Adapted Spatial Modeling in the Analysis of Natural Resource Conflicts.

Autoren: Ibeh, Lawrence Kouveliotis, Kyriakos Unune, Deepak Rajendra et al.

Quelle: Sustainability (2071-1050); Mar2025, Vol. 17 Issue 5, p2315, 49p

Skills Required for Quantum Computing: A Comprehensive Review of Recent Studies.

Autoren: Juárez-Ramírez, Reyes Jiménez, Samantha Navarro, Christian X. et al.

Quelle: Programming & Computer Software; Dec2024, Vol. 50 Issue 8, p844-874, 31p

Schlagwörter: QUANTUM computing, QUANTUM theory, QUANTUM mechanics, SOFT skills, LABOR market

Computation with classical sequents.

Autoren: STEFFEN VAN BAKEL PIERRE LESCANNE

Quelle: Mathematical Structures in Computer Science; Jun2008, Vol. 18 Issue 3, p555-609, 55p

Schlagwörter: ISOMORPHISM (Mathematics), GROUP theory, SET theory, CALCULUS, LOGIC

Preface: Theory and Applications of Abstraction, Substitution and Naming.

Autoren: Fernández, Maribel Urban, Christian

Quelle: Journal of Automated Reasoning; Aug2012, Vol. 49 Issue 2, p111-114, 4p

Schlagwörter: FUSION (Phase transformation), GROUP theory, MATHEMATICAL variables, MATHEMATICAL models

A Relational Program Logic with Data Abstraction and Dynamic Framing.

Autoren: BANERJEE, ANINDYA NAGASAMUDRAM, RAMANA NAUMANN, DAVID et al.

Quelle: ACM Transactions on Programming Languages & Systems; Dec2022, Vol. 44 Issue 4, p1-135, 135p

Editorial 2023: changes and invariants.

Autoren: Fernau, Henning

Quelle: Acta Informatica; Dec2023, Vol. 60 Issue 4, p331-333, 3p

Schlagwörter: COMPUTATIONAL learning theory, LOSSLESS data compression, MACHINE learning, ARTIFICIAL intelligence, GRAPH algorithms

Superconducting quantum computers: who is leading the future?

Autoren: AbuGhanem, Muhammad

Quelle: EPJ Quantum Technology; 8/19/2025, Vol. 12 Issue 1, p1-75, 75p

Schlagwörter: QUBITS, QUANTUM computing, SCALABILITY, COMPUTER architecture, SUPERCONDUCTIVITY

Quantum programming: From theories to implementations.

Autoren: Ying, MingSheng Feng, Yuan Duan, RunYao et al.

Quelle: Chinese Science Bulletin; Jul2012, Vol. 57 Issue 16, p1903-1909, 7p

Schlagwörter: SEMANTICS, PROGRAMMING languages, FORMAL methods (Computer science), SURVEYS, COMPUTERS

Professor Solomon Marcus’s Axioms.

Autoren: ISTRAIL, SORIN

Quelle: Secolul 21; 2024, Issue 7-12/1-6, p71-81, 11p

Programs As Diagrams

Autoren: Dusko Pavlovic

Resource Type: eBook.

Schlagworte: Computer science, Computable functions, Recursion theory, Computational complexity, Programming languages (Electronic computers)

Categories: COMPUTERS / Computer Science, COMPUTERS / Languages / General, MATHEMATICS / Logic

Challenging Questions for the Rationale of Non-Classical Programming Languages.

Autoren: Michel, Olivier Banâtre, Jean-Pierre Fradet, Pascal et al.

Quelle: International Journal of Unconventional Computing; 2006, Vol. 2 Issue 4, p337-347, 11p

Schlagwörter: PROGRAMMING languages, MATHEMATICAL models, ELECTRONIC data processing, COMPUTER programming, NONCLASSICAL mathematical logic

Bibliography.

Autoren: Carpenter, Robert L.

Quelle: Logic of Typed Feature Structures (9780521022545); 1992, p245-258, 14p

A Logical Analysis of Framing for Specifications with Pure Method Calls.

Autoren: BANERJEE, ANINDYA NAUMANN, DAVID A. NIKOUEI, MOHAMMAD

Quelle: ACM Transactions on Programming Languages & Systems; May2018, Vol. 40 Issue 2, p6-90, 90p

Schlagwörter: REASONING, MATHEMATICAL logic, MATHEMATICAL analysis, PUZZLES, HYPOTHESIS

Trustworthy human computation: a survey.

Autoren: Kashima, Hisashi Oyama, Satoshi Arai, Hiromi et al.

Quelle: Artificial Intelligence Review; Dec2024, Vol. 57 Issue 12, p1-45, 45p

Evaluation Order Sensitivity: A Fundamental Vulnerability in Sequential Computation

Autoren: Gortola, Bikash

HCI Theory.

Autoren: Rogers, Yvonne

Quelle: Synthesis Lectures on Human-Centered Informatics; 2012, Vol. 5 Issue 2, preceding p1-113, 131p