:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Scharager, Matias
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2405.01687
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Wheeler Bisimulations
by: Cotumaccio, Nicola
Published: (2026)

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

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

A Gradual Probabilistic Lambda Calculus
by: Ye, Wenjia, et al.
Published: (2026)

Gradual Sensitivity Typing
by: Arquez, Damian, et al.
Published: (2023)

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

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

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

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

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

Conditional Nested Pattern Matching in Interaction Net
by: Sato, Shinya
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Conflicto social, ambientalización y crisis política: judicialización en la cuenca Matanza-Riachuelo, Argentina
by: Andrés Scharager
Published: (2020)

Judicialización y política en un proceso de relocalización: estrategias y discurso de la Defensa Pública de Buenos Aires
by: Andrés Scharager
Published: (2019)

De cómo una resolución judicial se convierte en un problema político y social. La relocalización de villas en la cuenca Matanza-Riachuelo
by: Andrés Scharager
Published: (2019)

De jueces autoritarios y defensores progresistas: activismo judicial y controversias sociojurídicas en la ejecución de una sentencia ambiental
by: Andrés Scharager
Published: (2021)

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

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

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

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

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

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

Biomateriales en levantamiento de seno maxilar paraimplantes dentales
by: Daniel Scharager-Lewin
Published: (2017)

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

Typestate via Revocable Capabilities
by: Jia, Songlin, et al.
Published: (2025)

Advancing BDD Software Testing: Dynamic Scenario Re-Usability And Step Auto-Complete For Cucumber Framework
by: Mughal, A. H.
Published: (2024)