Search Results - theory of computation→programming (logic OR login)

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

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

Contributors: Matsushita, Yusuke Denis, Xavier Jourdan, Jacques-Henri 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

Access 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)

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

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

Subject Terms: specification, Theory of computation → Programming logic, Theory of computation → Separation logic, monads, ddc:004, verification, Theory of computation → Denotational semantics, coinduction

File Description: application/pdf

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

RustBelt: Securing the Foundations of the Rust Programming Language

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

Contributors: Jung, Ralf Jourdan, Jacques-Henri Krebbers, Robbert 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

Availability: 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.

Authors: BROY, MANFRED RUMPE, BERNHARD

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

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

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

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

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

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

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

Subject Terms: QUANTUM computing, QUANTUM theory, QUANTUM mechanics, SOFT skills, LABOR market

Bibliography.

Authors: Carpenter, Robert L.

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

Superconducting quantum computers: who is leading the future?

Authors: AbuGhanem, Muhammad

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

Subject Terms: QUBITS, QUANTUM computing, SCALABILITY, COMPUTER architecture, SUPERCONDUCTIVITY

A Relational Program Logic with Data Abstraction and Dynamic Framing.

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

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

Editorial 2023: changes and invariants.

Authors: Fernau, Henning

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

Subject Terms: COMPUTATIONAL learning theory, LOSSLESS data compression, MACHINE learning, ARTIFICIAL intelligence, GRAPH algorithms

Computation with classical sequents.

Authors: STEFFEN VAN BAKEL PIERRE LESCANNE

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

Subject Terms: ISOMORPHISM (Mathematics), GROUP theory, SET theory, CALCULUS, LOGIC

Limitations of calculating theoretical solutions for closed BCMP queueing networks and verification of alternative theoretical values by parallel simulation.

Authors: Mizuno, Shinya Ohba, Haruka

Source: PLoS ONE; 12/17/2024, Vol. 19 Issue 12, p1-19, 19p

Subject Terms: QUEUEING networks, PARALLEL programming, CONSUMERS, NUMBER systems, SIMULATION methods & models

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

Authors: Fernández, Maribel Urban, Christian

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

Subject Terms: FUSION (Phase transformation), GROUP theory, MATHEMATICAL variables, MATHEMATICAL models

Professor Solomon Marcus’s Axioms.

Authors: ISTRAIL, SORIN

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

Navigating the inception stage in online peer production communities: a comparative study on community building activities, user roles and interaction dynamics.

Authors: Fu, Hengyi

Source: Online Information Review; 2025, Vol. 49 Issue 1, p75-96, 22p

Subject Terms: QUESTION & answer websites, SOCIAL network analysis, QUANTITATIVE research, SOCIAL networks, COMMERCIAL product testing, VIRTUAL communities

Programs As Diagrams

Authors: Dusko Pavlovic

Resource Type: eBook.

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

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

Cyber‐physical network architecture for data stream provisioning in complex ecosystems.

Authors: Okafor, Kennedy Chinedu Ndinechi, Michael Chukwudi Misra, Sanjay

Source: Transactions on Emerging Telecommunications Technologies; Apr2022, Vol. 33 Issue 4, p1-31, 31p

The Serverless Computing Survey: A Technical Primer for Design Architecture.

Authors: ZIJUN LI LINSONG GUO JIAGAN CHENG et al.

Source: ACM Computing Surveys; 2022 Suppl 10, Vol. 54, p1-34, 34p

Subject Terms: ARCHITECTURAL design, COMMUNICATION infrastructure, COMMUNITIES, SCALABILITY

Trustworthy human computation: a survey.

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

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

Quantum programming: From theories to implementations.

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

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

Subject Terms: SEMANTICS, PROGRAMMING languages, FORMAL methods (Computer science), SURVEYS, COMPUTERS