Everything about Safe semantics

🧭 Start here: a 6-step reading path

1. Read the overview: Safe semanticsA 5-minute orientation
2. Skim a recent paper: LwRustIP: Memory-safe and efficient embedded networking stack with ownership semanticsInfluential work since 2022
3. Pick up a classic book: Invitation to Computer ScienceThe most-reprinted book on the subject
4. Read the landmark paper: A type and scope safe universe of syntaxes with binding: their semantics and proofsCited 23 times
5. Go sideways: Regular semanticsA closely related topic
6. Go sideways: Paxos (computer science)A closely related topic

🏆 Landmark papers (most cited)

• A type and scope safe universe of syntaxes with binding: their semantics and proofs

  Guillaume Allais, Robert Atkey, James Chapman · 2018 · Proceedings of the ACM on Programming Languages · 23 citations

• A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

  GUILLAUME ALLAIS, ROBERT ATKEY, JAMES CHAPMAN · 2021 · Journal of Functional Programming · 16 citations

• Safe computation of the well-founded semantics of datalog queries

  N Leone, P Rullo · 1992 · Information Systems · 14 citations

• Safe dependency atoms and possibility operators in team semantics

  Pietro Galliani · 2021 · Information and Computation · 4 citations

• Strong Negation and Equivalence in the Safe Belief Semantics

  M. Ortiz, M. Osorio · 2007 · Journal of Logic and Computation · 4 citations

• An Operational Semantics including ‘Volatile’ for Safe Concurrency.

  John Boyland · 2009 · The Journal of Object Technology · 3 citations

• A resource semantics and abstract machine for Safe : A functional language with regions and explicit deallocation

  Manuel Montenegro, Ricardo Peña, Clara Segura · 2014 · Information and Computation · 3 citations

• Safe Dependency Atoms and Possibility Operators in Team Semantics

  Pietro Galliani · 2018 · Electronic Proceedings in Theoretical Computer Science · 2 citations

🆕 Influential since 2022

• LwRustIP: Memory-safe and efficient embedded networking stack with ownership semantics

  Guangyong Shang, Guangpeng Qi, Jianing Ren · 2026 · High-Confidence Computing · 1 citations

• A Semantics-Driven Approach for Safe and Reliable Obstacle Avoidance of UAVs

  Zhongyuan Shi, Zitong Zhao, Yiyang Yu · 2026 · IEEE Robotics and Automation Letters · 0 citations

• Data Contracts in Cloud-Native Analytics: Governing Schema and Semantics to Prevent Pipeline Breakage and Accelerate Safe Change

  Shankar das Boddu · 2026 · International Journal of Computational and Experimental Science and Engineering · 0 citations

📚 Books worth reading

• Invitation to Computer ScienceG. Michael Schneider, Judith L. Gersting · 1995
• The web application hacker's handbookDafydd Stuttard, Marcus Pinto · 2007
• Army of nonePaul Scharre · 2018
• Introduction to Constraint DatabasesPeter Revesz · 2002
• Probabilistic databasesDan Suciu · 2011
• 📕Type-Safe Programming for the Semantic WebM. Leinberger · 2021
• 📕Musikarchäologie im KontextAnne Draffkorn Kilmer, Ellen Hickmann · 2006
• Semiotics of artLadislav Matejka, I. R. Titunik · 1976

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Regular semantics Regular semantics is a computer hardware consistency model. It describes a type of guarantee provided by a processor register that is shared by several…
• Paxos (computer science) In computer science, Paxos is a family of protocols for solving consensus in a network of unreliable or fallible processors. Consensus is the process of…
• Atomic semantics Atomic semantics is a type of guarantee provided by a data register shared by several processors in a parallel machine or in a network of computers working…
• SIMPL Synchronous Interprocess Messaging Project for LINUX (SIMPL) is a free and open-source project that allows QNX-style synchronous message passing by adding…
• Shared register In distributed computing, shared-memory systems and message-passing systems are two widely studied methods of interprocess communication. In shared-memory…
• Consistency model In computer science, a consistency model specifies a contract between the programmer and a system, wherein the system guarantees that if the programmer…
• State machine replication In computer science, state machine replication (SMR) or state machine approach is a general method for implementing a fault-tolerant service by replicating…
• .NET Remoting .NET Remoting is a Microsoft application programming interface (API) for interprocess communication released in 2002 with the 1.0 version of .NET Framework…