Buchumschlag

Useful Evaluation: Syntax and Semantics (Technical Report)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barenbaum, Pablo, Kesner, Delia, Milicich, Mariana
Format:	Preprint
Veröffentlicht:	2024
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

Hybrid Intersection Types for PCF (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)

Meaningfulness and Genericity in a Subsuming Framework
von: Kesner, Delia, et al.
Veröffentlicht: (2024)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
von: Barenbaum, Pablo
Veröffentlicht: (2026)

Syntax and Semantics of Linear Dependent Types
von: Vákár, Matthijs
Veröffentlicht: (2014)

Extending the Quantitative Pattern-Matching Paradigm
von: Alves, Sandra, et al.
Veröffentlicht: (2024)

From Semantics to Syntax: A Type Theory for Comprehension Categories
von: Najmaei, Niyousha, et al.
Veröffentlicht: (2025)

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

Positive Focusing is Directly Useful
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2024)

Genericity Through Stratification
von: Arrial, Victor, et al.
Veröffentlicht: (2024)

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)
von: Batz, Kevin, et al.
Veröffentlicht: (2024)

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

act: Technical report
von: Paraskevopoulou, Zoe, et al.
Veröffentlicht: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2025)

The Benefits of Diligence
von: Arrial, Victor, et al.
Veröffentlicht: (2024)

A Strong Bisimulation for a Classical Term Calculus
von: Bonelli, Eduardo, et al.
Veröffentlicht: (2021)

Semantically Reflected Programs
von: Kamburjan, Eduard, et al.
Veröffentlicht: (2025)

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

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

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

Disentangling Parallelism and Interference in Game Semantics
von: Castellan, Simon, et al.
Veröffentlicht: (2021)

Realizability in Semantics-Guided Synthesis Done Eagerly
von: Meyer, Roland, et al.
Veröffentlicht: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
von: Murphy, Charlie, et al.
Veröffentlicht: (2024)

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

Logical Predicates in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

A Coq Library of Sets for Teaching Denotational Semantics
von: Cao, Qinxiang, et al.
Veröffentlicht: (2024)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
von: Hulak, David B., et al.
Veröffentlicht: (2026)

A Formal Semantics of the GraalVM Intermediate Representation
von: Webb, Brae J., et al.
Veröffentlicht: (2021)

Towards a Higher-Order Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
von: Santo, José Espírito, et al.
Veröffentlicht: (2022)

A Classical Linear $λ$-Calculus based on Contraposition
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2026)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
von: Sulzmann, Martin
Veröffentlicht: (2026)

Semantic Properties of Computations Defined by Elementary Inference Systems
von: Lucas, Salvador
Veröffentlicht: (2025)

Strong normalization through idempotent intersection types: a new syntactical approach
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2025)

A Reversible Semantics for Janus
von: Lanese, Ivan, et al.
Veröffentlicht: (2026)

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

A Unified Framework for Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2025)

A Prolog Program for Bottom-up Evaluation
von: Warren, David S.
Veröffentlicht: (2025)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
von: Lemonnier, Louis
Veröffentlicht: (2024)

Towards a Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2022)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
von: Fages, François
Veröffentlicht: (2024)