Imagen de Portada

act: Technical report

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Paraskevopoulou, Zoe, Komel, Anja Petković, Rain, Sophie, Lazaropoulos, Lefteris, Terry, Alexis
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages 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

Scaling CheckMate for Game-Theoretic Security
por: Rain, Sophie, et al.
Publicado: (2024)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
por: Komel, Anja Petković, et al.
Publicado: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
por: Saurin, Alexis
Publicado: (2025)

Useful Evaluation: Syntax and Semantics (Technical Report)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
por: Rowicki, Radosław Jan, et al.
Publicado: (2025)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
por: Batz, Kevin, et al.
Publicado: (2024)

Kleene algebra with commutativity conditions is undecidable
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2024)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
por: Bertrand, Meven Lennon, et al.
Publicado: (2026)

Impredicativity in Linear Dependent Type Theory
por: Speight, Sam, et al.
Publicado: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
por: Kaye, George
Publicado: (2025)

CSLib: The Lean Computer Science Library
por: Barrett, Clark, et al.
Publicado: (2026)

Recursive Mutexes in Separation Logic
por: Du, Ke, et al.
Publicado: (2026)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
por: Zhang, Cheng, et al.
Publicado: (2026)

Symmetric Proofs of Parameterized Programs
por: Cheng, Ruotong, et al.
Publicado: (2026)

Can LLMs Perform Synthesis?
por: Egolf, Derek, et al.
Publicado: (2026)

Type Theory With Erasure
por: Theocharis, Constantine, et al.
Publicado: (2026)

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

Ordered Adjoint Logic (Extended Version)
por: Roshal, Sophia, et al.
Publicado: (2026)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
por: Bembenek, Aaron, et al.
Publicado: (2026)

TensorRocq: Enabling diagrammatic reasoning in Rocq
por: Caldwell, Benjamin, et al.
Publicado: (2026)

Logic Programming with Extensible Types
por: Perez, Ivan, et al.
Publicado: (2026)

FO-Complete Program Verification for Heap Logics
por: Murali, Adithya, et al.
Publicado: (2026)

A Graded Modal Dependent Type Theory with Erasure, Formalized
por: Abel, Andreas, et al.
Publicado: (2026)

DateSAT: A Framework for Solving Date and Period Constraints
por: Cui, Leyi, et al.
Publicado: (2026)

A formalization of System I with type Top in Agda
por: Séttimo, Agustín, et al.
Publicado: (2026)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
por: Lohse, Janine, et al.
Publicado: (2026)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
por: Casetta, Richard, et al.
Publicado: (2026)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
por: Sulzmann, Martin
Publicado: (2026)

Complete Local Reasoning About Parameterized Programs Over Topologies
por: Cheng, Ruotong, et al.
Publicado: (2026)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
por: Hulak, David B., et al.
Publicado: (2026)

Wiring the Pi-calculus to Denotational Semantics
por: Sakayori, Ken, et al.
Publicado: (2026)

Complete first-order reasoning for functional programs
por: Murali, Adithya, et al.
Publicado: (2026)

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

A Formally Verified Procedure for Width Inference in FIRRTL
por: Wang, Keyin, et al.
Publicado: (2026)

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
por: Montesi, Fabrizio, et al.
Publicado: (2026)

S4 modal sequent calculus as intermediate logic and intermediate language
por: Caspar, Jean, et al.
Publicado: (2026)

Verifying Floating-Point Programs in Stainless
por: Gilot, Andrea, et al.
Publicado: (2026)

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
por: Su, Yuheng, et al.
Publicado: (2026)

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
por: Henson, Christopher, et al.
Publicado: (2026)

Towards a Higher-Order Bialgebraic Denotational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2026)