Copertina

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Pizzo, Nicolò, Coen, Claudio Sacerdoti
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Positive Sharing and Abstract Machines
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)

IMELL Cut Elimination with Linear Overhead
di: Accattoli, Beniamino, et al.
Pubblicazione: (2024)

Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
di: Rabe, Florian, et al.
Pubblicazione: (2024)

The Cost of Skeletal Call-by-Need, Smoothly
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)

Abstract Operational Methods for Call-by-Push-Value
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Mirroring Call-by-Need, or Values Acting Silly
di: Accattoli, Beniamino, et al.
Pubblicazione: (2024)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
di: Bernardo, Marco, et al.
Pubblicazione: (2022)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
di: Goncharov, Sergey
Pubblicazione: (2024)

Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
di: Biernacka, Małgorzata, et al.
Pubblicazione: (2022)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
di: Bernardo, Marco, et al.
Pubblicazione: (2024)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
di: Barbarossa, Davide
Pubblicazione: (2024)

A Fully Abstract Model of PCF Based on Extended Addressing Machines
di: Intrigila, Benedetto, et al.
Pubblicazione: (2023)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
di: Accattoli, Beniamino
Pubblicazione: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

A Dual-Threshold Probabilistic Knowing Value Logic
di: Wang, Shanxia
Pubblicazione: (2026)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
di: Gaßner, Christine
Pubblicazione: (2025)

A Truly Concurrent Semantics for Reversible CCS
di: Melgratti, Hernán, et al.
Pubblicazione: (2023)

The Characterization of Abstract Truth and its Factorization
di: Kent, Robert E.
Pubblicazione: (2024)

Minimally Comparing Relational Abstract Domains
di: Ballou, Kenny, et al.
Pubblicazione: (2023)

revTPL: The Reversible Temporal Process Language
di: Bocchi, Laura, et al.
Pubblicazione: (2022)

Compositional Reversible Computation
di: Carette, Jacques, et al.
Pubblicazione: (2024)

Identifying Minimal Changes in the Zone Abstract Domain
di: Ballou, Kenny, et al.
Pubblicazione: (2023)

Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
di: Szalas, Andrzej
Pubblicazione: (2025)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
di: de Lima, Thaynara Arielly, et al.
Pubblicazione: (2024)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
di: Sangiorgi, Davide
Pubblicazione: (2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
di: Ahrens, Emma, et al.
Pubblicazione: (2025)

An Axiomatic Theory for Reversible Computation
di: Lanese, Ivan, et al.
Pubblicazione: (2023)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
di: Melgratti, Hernán, et al.
Pubblicazione: (2023)

A Curry-Howard Correspondence for Linear, Reversible Computation
di: Chardonnet, Kostia, et al.
Pubblicazione: (2023)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
di: Cecilia, Gabriele
Pubblicazione: (2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
di: Baldan, Paolo, et al.
Pubblicazione: (2025)

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
di: Frenkel, Eden, et al.
Pubblicazione: (2024)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
di: Saxena, Ishan, et al.
Pubblicazione: (2025)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
di: Konečný, Michal, et al.
Pubblicazione: (2024)

Database Research needs an Abstract Relational Query Language
di: Gatterbauer, Wolfgang, et al.
Pubblicazione: (2025)

Group Knowledge of Hypothetical Values
di: Baltag, Alexandru, et al.
Pubblicazione: (2025)

Many-Valued Modal Logic
di: Karniel, Amir, et al.
Pubblicazione: (2024)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)