Image de couverture de livre

From Monolithic to Compositional: A Compositional Operational Semantics for Crystality

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Xu, Ziyun, Wang, Hao, Sun, Meng
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
par: Xu, Ziyun, et autres
Publié: (2025)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
par: Wu, Jinhua, et autres
Publié: (2025)

An Operational Semantics for Yul
par: Koutavas, Vasileios, et autres
Publié: (2024)

Denotation-based Compositional Compiler Verification
par: Cheng, Zhang, et autres
Publié: (2024)

A Refined Operational Semantics for FreeCHR
par: Rechenberger, Sascha, et autres
Publié: (2025)

Typing Composite Subjects
par: Aceto, Luca, et autres
Publié: (2024)

A Compiler for Operations on Relations with Bag Semantics
par: Dong, James, et autres
Publié: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
par: Smith, Scott, et autres
Publié: (2023)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
par: Chen, Pei-Wei, et autres
Publié: (2025)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
par: Wang, Yi, et autres
Publié: (2025)

Towards Definitional Interpreters for Hoare Logics
par: Sun, Ke, et autres
Publié: (2026)

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
par: Xu, Xu, et autres
Publié: (2025)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
par: Lööw, Andreas, et autres
Publié: (2025)

LLM-Guided Compositional Program Synthesis
par: Khan, Ruhma, et autres
Publié: (2025)

Secure Composition of Robust and Optimising Compilers
par: Kruse, Matthis, et autres
Publié: (2023)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
par: Karmios, Nat, et autres
Publié: (2026)

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
par: Daggitt, Matthew L., et autres
Publié: (2026)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
par: Eriksson, Oscar, et autres
Publié: (2025)

Compositional theories for host-core languages
par: Trotta, Davide, et autres
Publié: (2020)

Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
par: Rasch, Ari
Publié: (2024)

Compositional security definitions for higher-order where declassification
par: Menz, Jan, et autres
Publié: (2026)

Compositional Quantum Control Flow with Efficient Compilation in Qunity
par: Mints, Mikhail, et autres
Publié: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2024)

CobbleDB: Modelling Levelled Storage by Composition
par: Ma, Emilie, et autres
Publié: (2026)

Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
par: Ramalingam, Ramya, et autres
Publié: (2024)

ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis
par: Shi, Kensen, et autres
Publié: (2023)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
par: Le, Quang Loc
Publié: (2025)

Compositional imprecise probability
par: Liell-Cock, Jack, et autres
Publié: (2024)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
par: Ukhanov, Evgeny
Publié: (2025)

$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
par: Liu, Qin
Publié: (2026)

The Parallel Semantics Program Dependence Graph
par: Homerding, Brian, et autres
Publié: (2024)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
par: Lööw, Andreas, et autres
Publié: (2024)

Evaluating Program Semantics Reasoning with Type Inference in System F
par: He, Yifeng, et autres
Publié: (2025)

A Denotational Semantics for Quantum Loops
par: Assolini, Nicola, et autres
Publié: (2025)

From Separate Compilation to Sound Language Composition
par: Bruzzone, Federico, et autres
Publié: (2026)

Towards a Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2022)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
par: Näumann, Julius, et autres
Publié: (2026)

Semantic foundations of equality saturation
par: Suciu, Dan, et autres
Publié: (2025)

Causality and Semantic Separation
par: Zhang, Anna, et autres
Publié: (2026)

Semantics of Sets of Programs
par: Kim, Jinwoo, et autres
Publié: (2024)