Buchumschlag

Compositional theories for host-core languages

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Trotta, Davide, Zorzi, Margherita
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A feasible and unitary quantum programming language
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

A programming language characterizing quantum polynomial time
von: Hainry, Emmanuel, et al.
Veröffentlicht: (2022)

Extensional and Non-extensional Functions as Processes
von: Sakayori, Ken, et al.
Veröffentlicht: (2024)

S4 modal sequent calculus as intermediate logic and intermediate language
von: Caspar, Jean, et al.
Veröffentlicht: (2026)

Extending Isabelle/HOL's Code Generator with support for the Go programming language
von: Stübinger, Terru, et al.
Veröffentlicht: (2023)

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
von: Le, Quang Loc
Veröffentlicht: (2025)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
von: Lööw, Andreas, et al.
Veröffentlicht: (2024)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
von: Soldevila, Mallku, et al.
Veröffentlicht: (2024)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
von: Ukhanov, Evgeny
Veröffentlicht: (2025)

A programming language combining quantum and classical control
von: Dave, Kinnari, et al.
Veröffentlicht: (2025)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

A formal specification of the jq language
von: Färber, Michael
Veröffentlicht: (2024)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
von: Moreau, Vincent, et al.
Veröffentlicht: (2023)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
von: Aberlé, C. B.
Veröffentlicht: (2026)

Compositional imprecise probability
von: Liell-Cock, Jack, et al.
Veröffentlicht: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Internalizing Representation Independence with Univalence
von: Angiuli, Carlo, et al.
Veröffentlicht: (2020)

A Probabilistic Choreography Language for PRISM
von: Carbone, Marco, et al.
Veröffentlicht: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Crash-Stop Failures in Asynchronous Multiparty Session Types
von: Barwell, Adam D., et al.
Veröffentlicht: (2023)

Structural Temporal Logic for Mechanized Program Verification
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)

Positive Sharing and Abstract Machines
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2025)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
von: Grandury, Marcos, et al.
Veröffentlicht: (2025)

Expressive Power of One-Shot Control Operators and Coroutines
von: Kobayashi, Kentaro, et al.
Veröffentlicht: (2025)

CSLib: The Lean Computer Science Library
von: Barrett, Clark, et al.
Veröffentlicht: (2026)

Recursive Mutexes in Separation Logic
von: Du, Ke, et al.
Veröffentlicht: (2026)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
von: Zhang, Cheng, et al.
Veröffentlicht: (2026)

Symmetric Proofs of Parameterized Programs
von: Cheng, Ruotong, et al.
Veröffentlicht: (2026)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
von: Elad, Neta, et al.
Veröffentlicht: (2025)

Can LLMs Perform Synthesis?
von: Egolf, Derek, et al.
Veröffentlicht: (2026)

Type Theory With Erasure
von: Theocharis, Constantine, et al.
Veröffentlicht: (2026)

An Introduction to Different Approaches to Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2024)

More Church-Rosser Proofs in BELUGA
von: Momigliano, Alberto, et al.
Veröffentlicht: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

A Nominal Approach to Probabilistic Separation Logic
von: Li, John M., et al.
Veröffentlicht: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2024)