Image de couverture de livre

A Calculus of Inheritance

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Yang, Bo
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages Software Engineering D.1.5; D.3.1; D.3.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The concept of class invariant in object-oriented programming
par: Meyer, Bertrand, et autres
Publié: (2021)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
par: Boyer, Matthieu Pierre
Publié: (2025)

cpp11armadillo: An R Package to Use the Armadillo C++ Library
par: Sepúlveda, Mauricio Vargas, et autres
Publié: (2024)

Abstracting Effect Systems for Algebraic Effect Handlers
par: Yoshioka, Takuma, et autres
Publié: (2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
par: Baier, Daniel, et autres
Publié: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
par: Ates, Salih, et autres
Publié: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
par: Suwa, Takashi, et autres
Publié: (2026)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
par: McCann, Alan L.
Publié: (2026)

Conversational Concurrency
par: Garnock-Jones, Tony
Publié: (2024)

Committing to the bit: Relational programming with semiring arrays and SAT solving
par: Volkov, Dmitri, et autres
Publié: (2025)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
par: Prasetya, I. S. W. B., et autres
Publié: (2026)

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
par: Guerreiro, Miguel de Oliveira
Publié: (2025)

Polymorphic Bottom-Up Weighted Relational Programming
par: Volkov, Dmitri
Publié: (2026)

Weak-linearity, globality and in-place update
par: Gramaglia, Hector
Publié: (2024)

Formal Verification of Imperative First-Class Functions in Move
par: Grieskamp, Wolfgang, et autres
Publié: (2026)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
par: Bruzzone, Federico, et autres
Publié: (2025)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
par: Parrinha, Francisco, et autres
Publié: (2026)

Reasoning about concurrent loops and recursion with rely-guarantee rules
par: Hayes, Ian J., et autres
Publié: (2025)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
par: Oza, Neeva, et autres
Publié: (2025)

Transport via Partial Galois Connections and Equivalences
par: Kappelmann, Kevin
Publié: (2023)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
par: Beyer, Dirk, et autres
Publié: (2022)

ScaMaha: A Tool for Parsing, Analyzing, and Visualizing Object-Oriented Software Systems
par: Al-Msie'deen, Ra'Fat
Publié: (2025)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
par: Lahiri, Shuvendu K.
Publié: (2026)

Homomorphism Calculus for User-Defined Aggregations
par: Wang, Ziteng, et autres
Publié: (2025)

Completing the Functional Approach in Object-Oriented Languages
par: Pluemicke, Martin
Publié: (2024)

OpenDORS: A dataset of openly referenced open research software
par: Druskat, Stephan, et autres
Publié: (2025)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
par: Mishra, Ashish, et autres
Publié: (2025)

Constrained LTL Specification Learning from Examples
par: Zhang, Changjian, et autres
Publié: (2024)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
par: Siek, Jeremy G.
Publié: (2024)

Relational Reactive Programming: miniKanren for the Web
par: Donahue, Evan
Publié: (2024)

Myriad People Open Source Software for New Media Arts
par: Baudry, Benoit, et autres
Publié: (2025)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
par: Tjoa, Ryan, et autres
Publié: (2025)

Toward a Corpus Study of the Dynamic Gradual Type
par: Nsofor, Dibri, et autres
Publié: (2025)

Semantics for 2D Rasterization
par: Kulkarni, Bhargav, et autres
Publié: (2026)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
par: McDaid, Edward, et autres
Publié: (2025)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
par: Salva, Sébastien, et autres
Publié: (2025)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
par: Accattoli, Beniamino, et autres
Publié: (2025)

A Two-Phase Infinite/Finite Low-Level Memory Model
par: Beck, Calvin, et autres
Publié: (2024)

Piecewise Analysis of Probabilistic Programs via $k$-Induction
par: Yang, Tengshun, et autres
Publié: (2024)

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
par: Sano, Jin, et autres
Publié: (2025)