Image de couverture de livre

NEST: Network Enforced Session Types (Technical Report)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Larsen, Jens Kanstrup, Scalas, Alceste, Amir, Guy, Jacobs, Jules, Wagemaker, Jana, Foster, Nate
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages D.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Encoding Petri Nets into CCS (Technical Report)
par: Bogø, Benjamin, et autres
Publié: (2024)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
par: Heuvel, Bas van den, et autres
Publié: (2024)

StacKAT: Infinite State Network Verification
par: Jacobs, Jules, et autres
Publié: (2025)

Adapting the MVVM pattern to C++ frontends and Agda-based backends
par: Csimma, Viktor
Publié: (2026)

Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines
par: Mirji, Vittal
Publié: (2026)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
par: Bruzzone, Federico, et autres
Publié: (2026)

Ownership in low-level intermediate representation
par: Priya, Siddharth, et autres
Publié: (2024)

ExVerus: Verus Proof Repair via Counterexample Reasoning
par: Yang, Jun, et autres
Publié: (2026)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
par: Rowicki, Radosław Jan, et autres
Publié: (2025)

Reimplementing Mizar in Rust
par: Carneiro, Mario
Publié: (2023)

Lean4Lean: Verifying a Typechecker for Lean, in Lean
par: Carneiro, Mario
Publié: (2024)

From Separate Compilation to Sound Language Composition
par: Bruzzone, Federico, et autres
Publié: (2026)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
par: Erhard, Julian, et autres
Publié: (2024)

Bottom-up computation using trees of sublists (Functional Pearl)
par: Mu, Shin-Cheng
Publié: (2023)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
par: Guan, Yawen, et autres
Publié: (2025)

Meta-Monomorphizing Specializations
par: Bruzzone, Federico, et autres
Publié: (2026)

The Complexity of Testing Message-Passing Concurrency
par: Shi, Zheng, et autres
Publié: (2025)

Grounded Language Design for Lightweight Diagramming for Formal Methods
par: Prasad, Siddhartha, et autres
Publié: (2024)

Verifying Device Drivers with Pancake
par: Zhao, Junming, et autres
Publié: (2025)

Policy as Code, Policy as Type
par: Fuchs, Matthew D.
Publié: (2025)

Baking for Dafny: A CakeML Backend for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
par: Gross, Jason, et autres
Publié: (2022)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
par: Stepanenko, Sergei, et autres
Publié: (2025)

Uniqueness is Separation
par: O'Connor, Liam, et autres
Publié: (2026)

Ground Stratification for a Logic of Definitions with Induction
par: Guermond, Nathan, et autres
Publié: (2025)

A Graphical Interface for Category Theory Proofs in Coq
par: Chabassier, Luc
Publié: (2025)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
par: Knothe, David, et autres
Publié: (2026)

Parameterized Verification of Timed Networks with Clock Invariants
par: André, Étienne, et autres
Publié: (2024)

Seamless, Correct, and Generic Programming over Serialised Data
par: Allais, Guillaume
Publié: (2023)

Leveraging Slither and Interval Analysis to build a Static Analysis Tool
par: Susan, Stefan-Claudiu
Publié: (2024)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
par: Beyer, Dirk, et autres
Publié: (2022)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
par: Mitra, Joydeep, et autres
Publié: (2020)

Quantitative Verification with Neural Networks
par: Abate, Alessandro, et autres
Publié: (2023)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
par: McCann, Alan L.
Publié: (2026)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
par: Frenkel, Eden, et autres
Publié: (2026)

A New Interaction Concept for Interactive and Autoactive Program Verification
par: Pfeifer, Wolfram, et autres
Publié: (2026)

Model Checking Probabilistic Operator Precedence Automata
par: Pontiggia, Francesco, et autres
Publié: (2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
par: Baier, Daniel, et autres
Publié: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
par: Ates, Salih, et autres
Publié: (2024)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
par: Ouardi, Doha, et autres
Publié: (2024)