Copertina

Coverage Semantics for Dependent Pattern Matching

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Eremondi, Joseph, Kammar, Ohad
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
di: Goldstein, Oliver, et al.
Pubblicazione: (2024)

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
di: Fiore, Marcelo P., et al.
Pubblicazione: (2025)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
di: Kammar, Ohad, et al.
Pubblicazione: (2026)

Frex: dependently-typed algebraic simplification
di: Allais, Guillaume, et al.
Pubblicazione: (2023)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
di: Dvir, Yotam, et al.
Pubblicazione: (2025)

Relaxed exception semantics for Arm-A (extended version)
di: Simner, Ben, et al.
Pubblicazione: (2024)

Pattern Matching in AI Compilers and its Formalization (Extended Version)
di: Cutler, Joseph W., et al.
Pubblicazione: (2024)

Conditional Nested Pattern Matching in Interaction Net
di: Sato, Shinya
Pubblicazione: (2024)

The Parallel Semantics Program Dependence Graph
di: Homerding, Brian, et al.
Pubblicazione: (2024)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
di: Vasconcelos, Pedro, et al.
Pubblicazione: (2024)

Polymorphic Coverage Types
di: Zhou, Zhe, et al.
Pubblicazione: (2023)

Prime Path Coverage in the GNU Compiler Collection
di: Kvalsvik, Jørgen
Pubblicazione: (2025)

Cognacy Queries over Dependence Graphs for Transparent Visualisations
di: Bond, Joseph, et al.
Pubblicazione: (2024)

Syntax and Semantics of Linear Dependent Types
di: Vákár, Matthijs
Pubblicazione: (2014)

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
di: Jonáš, Martin, et al.
Pubblicazione: (2024)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
di: Stinnett, J. Ryan, et al.
Pubblicazione: (2024)

Extending the Quantitative Pattern-Matching Paradigm
di: Alves, Sandra, et al.
Pubblicazione: (2024)

The Algebra of Patterns (Extended Version)
di: Binder, David, et al.
Pubblicazione: (2025)

Dependent-Type-Preserving Memory Allocation
di: Koronkevich, Paulette, et al.
Pubblicazione: (2025)

Compactness via Pattern Stepping Bisimulation
di: Scharager, Matias
Pubblicazione: (2024)

Semantics of Sets of Programs
di: Kim, Jinwoo, et al.
Pubblicazione: (2024)

An Operational Semantics for Yul
di: Koutavas, Vasileios, et al.
Pubblicazione: (2024)

Causality and Semantic Separation
di: Zhang, Anna, et al.
Pubblicazione: (2026)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
di: Kahn, David M, et al.
Pubblicazione: (2025)

Dependent Session Types for Verified Concurrent Programming
di: Fu, Qiancheng, et al.
Pubblicazione: (2025)

Solvable Tuple Patterns and Their Applications to Program Verification
di: Kobayashi, Naoki, et al.
Pubblicazione: (2025)

Predictive Monitoring against Pattern Regular Languages
di: Ang, Zhendong, et al.
Pubblicazione: (2023)

Compilation as Multi-Language Semantics
di: Bowman, William J.
Pubblicazione: (2025)

Semantic Subtyping for Maps in Erlang
di: Yildirim, Erdem, et al.
Pubblicazione: (2025)

Verification of the Release-Acquire Semantics
di: Abdulla, Parosh, et al.
Pubblicazione: (2025)

The Simulation Semantics of Synthesisable Verilog
di: Lööw, Andreas
Pubblicazione: (2025)

Joint Distributions in Probabilistic Semantics
di: Kozen, Dexter, et al.
Pubblicazione: (2023)

Persistent Iterators with Value Semantics
di: Li, Yihe, et al.
Pubblicazione: (2026)

A Two-Level Linear Dependent Type Theory
di: Fu, Qiancheng, et al.
Pubblicazione: (2023)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
di: Kudasov, Nikolai, et al.
Pubblicazione: (2024)

Stale Profile Matching
di: Ayupov, Amir, et al.
Pubblicazione: (2024)

A Denotational Semantics for Quantum Loops
di: Assolini, Nicola, et al.
Pubblicazione: (2025)

Semantic-Type-Guided Bug Finding
di: Qian, Kelvin, et al.
Pubblicazione: (2024)

Membership Testing for Semantic Regular Expressions
di: Huang, Yifei, et al.
Pubblicazione: (2024)

Linear Matching of JavaScript Regular Expressions
di: Barrière, Aurèle, et al.
Pubblicazione: (2023)