Imagen de Portada

A Fully Abstract Model of PCF Based on Extended Addressing Machines

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Intrigila, Benedetto, Manzonetto, Giulio, Munnich, Nicolas
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Groups and Inverse Semigroups in Lambda Calculus
por: Bucciarelli, Antonio, et al.
Publicado: (2026)

Hybrid Intersection Types for PCF (Extended Version)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

Interaction Equivalence
por: Accattoli, Beniamino, et al.
Publicado: (2024)

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

A coherent differential PCF
por: Ehrhard, Thomas
Publicado: (2022)

Interaction Improvement
por: Lancelot, Adrienne, et al.
Publicado: (2026)

Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
por: Cerda, Rémy, et al.
Publicado: (2025)

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

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

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

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
por: Endo, Ryunosuke, et al.
Publicado: (2025)

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
por: Pizzo, Nicolò, et al.
Publicado: (2026)

An Abstract Domain for Heap Commutativity (Extended Version)
por: Pincus, Jared, et al.
Publicado: (2024)

Extended Abstract: Mutable Objects with Several Implementations
por: Kaufmann, Matt, et al.
Publicado: (2025)

Positive Sharing and Abstract Machines
por: Accattoli, Beniamino, et al.
Publicado: (2025)

Extending Action Logic with Omega Iteration
por: Pshenitsyn, Tikhon
Publicado: (2025)

Extended multi-adjoint logic programming
por: Cornejo, M. Eugenia, et al.
Publicado: (2024)

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version)
por: Ge, Rui, et al.
Publicado: (2024)

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

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

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

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
por: Marin, Sonia, et al.
Publicado: (2025)

Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
por: Kaufmann, Matt, et al.
Publicado: (2025)

Extending CDCL-based Model Enumeration with Weights
por: Spallitta, Giuseppe, et al.
Publicado: (2026)

Minimally Comparing Relational Abstract Domains
por: Ballou, Kenny, et al.
Publicado: (2023)

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

A General Automata Model for First-Order Temporal Logics (Extended Version)
por: Geatti, Luca, et al.
Publicado: (2024)

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

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
por: Gerlach, Lina, et al.
Publicado: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
por: Gogacz, Tomasz, et al.
Publicado: (2026)

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

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

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

Common $p$-Belief with Plausibility Measures: Extended Abstract
por: Pacuit, Eric, et al.
Publicado: (2025)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
por: Bezhanishvili, Nick, et al.
Publicado: (2024)

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

Intuitionistic BV (Extended version)
por: Acclavio, Matteo, et al.
Publicado: (2025)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
por: Gerlach, Lina, et al.
Publicado: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
por: Kettmann, Pascal, et al.
Publicado: (2026)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
por: Acclavio, Matteo, et al.
Publicado: (2023)