Buchumschlag

A Pure Demand Operational Semantics with Applications to Program Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Smith, Scott, Zhang, Robert
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
von: Xia, Li-yao, et al.
Veröffentlicht: (2024)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
von: Bagrel, Thomas
Veröffentlicht: (2026)

Semantic-Type-Guided Bug Finding
von: Qian, Kelvin, et al.
Veröffentlicht: (2024)

An Operational Semantics for Yul
von: Koutavas, Vasileios, et al.
Veröffentlicht: (2024)

Semantics of Sets of Programs
von: Kim, Jinwoo, et al.
Veröffentlicht: (2024)

A Refined Operational Semantics for FreeCHR
von: Rechenberger, Sascha, et al.
Veröffentlicht: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
von: Cuéllar, Santiago, et al.
Veröffentlicht: (2025)

Functional Programming in Learning Electromagnetic Theory
von: Walck, Scott N.
Veröffentlicht: (2024)

A Compiler for Operations on Relations with Bag Semantics
von: Dong, James, et al.
Veröffentlicht: (2025)

From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
von: Xu, Ziyun, et al.
Veröffentlicht: (2026)

The Parallel Semantics Program Dependence Graph
von: Homerding, Brian, et al.
Veröffentlicht: (2024)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
von: Xu, Ziyun, et al.
Veröffentlicht: (2025)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

Exploiting Code Symmetries for Learning Program Semantics
von: Pei, Kexin, et al.
Veröffentlicht: (2023)

C Analyzer : A Static Program Analysis Tool for C Programs
von: Solanki, Rajendra Kumar
Veröffentlicht: (2024)

Newtonian Program Analysis of Probabilistic Programs
von: Wang, Di, et al.
Veröffentlicht: (2023)

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
von: Vieira, Tim
Veröffentlicht: (2026)

LLMs Lean on Priors, Not Programming Language Semantics
von: Thimmaiah, Aditya, et al.
Veröffentlicht: (2025)

Persistent Amortised Analysis, Operationally
von: Lorenzen, Anton
Veröffentlicht: (2026)

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

Beyond Cons: Purely Relational Data Structures
von: Sanna, Rafaello, et al.
Veröffentlicht: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

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)

Correctness is Demanding, Performance is Frustrating
von: Sinkarovs, Artjoms, et al.
Veröffentlicht: (2024)

Reversible Lifetime Semantics for Quantum Programs
von: Faro, Simone, et al.
Veröffentlicht: (2026)

Solvable Tuple Patterns and Their Applications to Program Verification
von: Kobayashi, Naoki, et al.
Veröffentlicht: (2025)

A Categorical Basis for Robust Program Analysis
von: Kincaid, Zachary, et al.
Veröffentlicht: (2026)

Emergent Representations of Program Semantics in Language Models Trained on Programs
von: Jin, Charles, et al.
Veröffentlicht: (2023)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
von: Hu, Lifan
Veröffentlicht: (2025)

Fast Collection Operations from Indexed Stream Fusion
von: Kovach, Scott, et al.
Veröffentlicht: (2025)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
von: Bagrel, Thomas, et al.
Veröffentlicht: (2025)

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
von: Johnson, Keith J. C., et al.
Veröffentlicht: (2024)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
von: Dong, Rui, et al.
Veröffentlicht: (2026)

Evaluating Program Semantics Reasoning with Type Inference in System F
von: He, Yifeng, et al.
Veröffentlicht: (2025)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
von: Mutlu, Doruk Alp
Veröffentlicht: (2025)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
von: Matsushita, Yusuke, et al.
Veröffentlicht: (2026)

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

2-Functoriality of Initial Semantics, and Applications
von: Ahrens, Benedikt, et al.
Veröffentlicht: (2025)

Automated Expected Cost Analysis for Quantum Programs
von: Moser, Georg, et al.
Veröffentlicht: (2026)

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