Image de couverture de livre

pyeb: A Python Implementation of Event-B Refinement Calculus

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Cataño, Néstor
Format:	Preprint
Publié:	2025
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

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
par: Drab, Tomasz
Publié: (2024)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
par: Bagrel, Thomas, et autres
Publié: (2025)

A Calculus for Unreachable Code
par: Zhong, Peter, et autres
Publié: (2024)

A Gradual Probabilistic Lambda Calculus
par: Ye, Wenjia, et autres
Publié: (2026)

A Calculus for Scoped Effects & Handlers
par: Bosman, Roger, et autres
Publié: (2023)

Egglog Python: A Pythonic Library for E-graphs
par: Shanabrook, Saul
Publié: (2023)

Opportunistically Parallel Lambda Calculus
par: Mell, Stephen, et autres
Publié: (2024)

Grokking the Sequent Calculus (Functional Pearl)
par: Binder, David, et autres
Publié: (2024)

$φ$-Calculus: Object-Oriented Formalism
par: Bugayenko, Yegor, et autres
Publié: (2021)

Corps: A Core Calculus of Hierarchical Choreographic Programming
par: Hirsch, Andrew K.
Publié: (2024)

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
par: Bachmann, Clemens, et autres
Publié: (2024)

A Multilingual Python Programming Language
par: Bazaz, Saad Ahmed, et autres
Publié: (2025)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
par: Vasconcelos, Pedro, et autres
Publié: (2024)

Navigating the Python Type Jungle
par: Nacu, Andrei, et autres
Publié: (2025)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
par: Böhler, Timon, et autres
Publié: (2026)

$μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
par: Salgado, Ronie
Publié: (2024)

Hear Your Code Fail, Voice-Assisted Debugging for Python
par: Amiri, Sayed Mahbub Hasan, et autres
Publié: (2025)

The Functional Machine Calculus III: Control
par: Heijltjes, Willem
Publié: (2025)

Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact
par: Amiri, Sayed Mahbub Hasan, et autres
Publié: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
par: Damiani, Ferruccio, et autres
Publié: (2026)

Refinement-Types Driven Development: A study
par: Domínguez, Facundo, et autres
Publié: (2025)

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

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
par: Paul, Abhijit
Publié: (2025)

Functional Array Programming in an Extended Pi-Calculus
par: Hüttel, Hans, et autres
Publié: (2024)

Synchronous Programming with Refinement Types
par: Chen, Jiawei, et autres
Publié: (2024)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
par: Saravanos, Antonios, et autres
Publié: (2026)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
par: Rak-amnouykit, Ingkarat, et autres
Publié: (2024)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
par: Accattoli, Beniamino
Publié: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
par: Kobayashi, Naoki
Publié: (2024)

First-Class Refinement Types for Scala
par: Bovel, Matt, et autres
Publié: (2026)

Automatic Generation of Python Programs Using Context-Free Grammars
par: Yamani, Kamel, et autres
Publié: (2024)

PyTond: Efficient Python Data Science on the Shoulders of Databases
par: Shahrokhi, Hesam, et autres
Publié: (2024)

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

Reasonable Space for the $λ$-Calculus, Logarithmically
par: Accattoli, Beniamino, et autres
Publié: (2022)

A Monadic Implementation of Functional Logic Programs
par: Hanus, Michael, et autres
Publié: (2026)

Getting Python Types Right with RightTyper
par: Pizzorno, Juan Altmayer, et autres
Publié: (2025)

Practical Refinement Session Type Inference (Extended Version)
par: Ueno, Toby, et autres
Publié: (2026)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
par: Fujiwara, Yusuke, et autres
Publié: (2026)

PyDiophantus Maze Game: Play It to Learn Mathematics or Implement It to Learn Game Programming in Python
par: Koupritzioti, Dimitra, et autres
Publié: (2020)

Functional Python Programming in Introductory Computer Science Courses
par: Sunderraman, Rajshekhar
Publié: (2025)