Imagen de Portada

Compactness via Pattern Stepping Bisimulation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Scharager, Matias
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
por: Yang, Xiaoxiao, et al.
Publicado: (2017)

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

Step in Tine: Forking Processes in Functional Choreographies
por: Samuelson, Ashley, et al.
Publicado: (2026)

Wheeler Bisimulations
por: Cotumaccio, Nicola
Publicado: (2026)

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

Coverage Semantics for Dependent Pattern Matching
por: Eremondi, Joseph, et al.
Publicado: (2025)

A Gradual Probabilistic Lambda Calculus
por: Ye, Wenjia, et al.
Publicado: (2026)

Gradual Sensitivity Typing
por: Arquez, Damian, et al.
Publicado: (2023)

Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics
por: Pfingsten, Brysen, et al.
Publicado: (2025)

Conditional Nested Pattern Matching in Interaction Net
por: Sato, Shinya
Publicado: (2024)

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

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

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
por: Pezeshkpour, Pouya, et al.
Publicado: (2026)

Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
por: Åkerblom, Beatrice, et al.
Publicado: (2024)

JoinActors: A Modular Library for Actors with Join Patterns
por: Hussein, Ayman, et al.
Publicado: (2026)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
por: Redmond, Patrick, et al.
Publicado: (2025)

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

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
por: Ferreiro, Daniela, et al.
Publicado: (2026)

Compiling Gradual Types with Evidence
por: Romero, José Luis, et al.
Publicado: (2025)

Step-based checkpointing with high-level algorithmic differentiation
por: Maddison, James R.
Publicado: (2023)

Micro-Patterns in Solidity Code
por: Ruschioni, Luca, et al.
Publicado: (2025)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
por: Wu, Guanxuan, et al.
Publicado: (2024)

Bisimulation for Feller-Dynkin Processes
por: Chen, Linan, et al.
Publicado: (2019)

Pattern-Based Peephole Optimizations with Java JIT Tests
por: Zang, Zhiqiang, et al.
Publicado: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
por: Zouari, Safa, et al.
Publicado: (2024)

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

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
por: Hong, Chih-Duo, et al.
Publicado: (2025)

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

Positive Hennessy-Milner Logic for Branching Bisimulation
por: Geuvers, Herman, et al.
Publicado: (2022)

Typestate via Revocable Capabilities
por: Jia, Songlin, et al.
Publicado: (2025)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
por: Saravanos, Antonios, et al.
Publicado: (2026)

Practical Algebraic Stepping with Scoped Filters
por: Fei, Haoxiang, et al.
Publicado: (2026)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
por: Nezhad, Sina Bagheri, et al.
Publicado: (2025)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
por: Chen, Zhibo, et al.
Publicado: (2023)

Incremental Live Programming via Shortcut Memoization
por: Kirisame, Marisa, et al.
Publicado: (2026)

Higher-Order Behavioural Conformances via Fibrations
por: Urbat, Henning
Publicado: (2025)

Adaptive Shielding via Parametric Safety Proofs
por: Feng, Yao, et al.
Publicado: (2025)

Modular Probabilistic Models via Algebraic Effects
por: Nguyen, Minh, et al.
Publicado: (2022)

Scaling Optimization Over Uncertainty via Compilation
por: Cho, Minsung, et al.
Publicado: (2025)

Incremental Bidirectional Typing via Order Maintenance
por: Porter, Thomas J., et al.
Publicado: (2025)