:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Devriese, Dominique, Martin, Eric Mark, Patrignani, Marco
Format:	Preprint
Published:	2020
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2010.10859
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
by: Giunti, Marco, et al.
Published: (2025)

Full Iso-recursive Types
by: Zhou, Litao, et al.
Published: (2024)

Towards Computational UIP in Cubical Agda
by: Tan, Yee-Jian, et al.
Published: (2025)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
by: Huyghebaert, Sander, et al.
Published: (2023)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
by: Bao, Yuyan, et al.
Published: (2025)

Cerisier: A Program Logic for Attestation in a Capability Machine
by: Rousseau, June, et al.
Published: (2026)

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
by: Fabian, Xaver, et al.
Published: (2024)

On the Expressivity of Typed Concurrent Calculi
by: Paulus, Joseph William Neal
Published: (2024)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
by: Wei, Anjiang, et al.
Published: (2025)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
by: Jia, Songlin, et al.
Published: (2024)

Computationally Bounded Robust Compilation and Universally Composable Security
by: Künnemann, Robert, et al.
Published: (2024)

Secure Composition of Robust and Optimising Compilers
by: Kruse, Matthis, et al.
Published: (2023)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
by: Giovannini, Eric, et al.
Published: (2024)

Adaptive Recursive Query Optimization
by: Herlihy, Anna, et al.
Published: (2023)

Language-Integrated Recursive Queries (Full Version)
by: Herlihy, Anna, et al.
Published: (2025)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
by: Geng, Chujun, et al.
Published: (2024)

Semantic-Type-Guided Bug Finding
by: Qian, Kelvin, et al.
Published: (2024)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
by: Lemonnier, Louis
Published: (2024)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
by: Deng, Haotian, et al.
Published: (2025)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
by: Lybech, Stian, et al.
Published: (2025)

Increasing the Expressiveness of a Gradual Verifier
by: Gupta, Priyam
Published: (2025)

Gradual Sensitivity Typing
by: Arquez, Damian, et al.
Published: (2023)

Abstracting Extensible Recursive Functions
by: Hubers, Alex, et al.
Published: (2024)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
by: Xu, Yichen, et al.
Published: (2025)

SafeTree: Expressive Tree Policies for Microservices
by: Grewal, Karuna, et al.
Published: (2025)

LACUNA: Safe Agents as Recursive Program Holes
by: Zhao, Yaoyu, et al.
Published: (2026)

Evaluating Program Semantics Reasoning with Type Inference in System F
by: He, Yifeng, et al.
Published: (2025)

Compiling Gradual Types with Evidence
by: Romero, José Luis, et al.
Published: (2025)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
by: Stassen, Philipp Jan Andries, et al.
Published: (2024)

Optimizing Layout of Recursive Datatypes with Marmoset
by: Singhal, Vidush, et al.
Published: (2024)

Qmod: Expressive High-Level Quantum Modeling
by: Vax, Matan, et al.
Published: (2025)

Raqlet: Cross-Paradigm Compilation for Recursive Queries
by: Shaikhha, Amir, et al.
Published: (2025)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
by: Vákár, Matthijs
Published: (2020)

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
by: Liang, Eric
Published: (2026)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
by: Michael, Alexandra E., et al.
Published: (2022)

Omega: The Power of Visual Simplicity
by: Sonntag, Benoit, et al.
Published: (2024)

Recursive Mutexes in Separation Logic
by: Du, Ke, et al.
Published: (2026)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
by: Cho, Hyunhum, et al.
Published: (2026)

First-Class Refinement Types for Scala
by: Bovel, Matt, et al.
Published: (2026)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
by: Cutler, Joseph W., et al.
Published: (2024)