Image de couverture de livre

The concept of class invariant in object-oriented programming

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Meyer, Bertrand, Arkadova, Alisa, Kogtenkov, Alexander
Format:	Preprint
Publié:	2021
Sujets:	Programming Languages Software Engineering D.2.4; F.3.1; D.1.5; D.3.3; F.3.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

A Calculus of Inheritance
par: Yang, Bo
Publié: (2026)

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)

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

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

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

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

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

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

What does it take to certify a conversion checker?
par: Lennon-Bertrand, Meven
Publié: (2025)

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

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
par: Amusuo, Paschal C., et autres
Publié: (2025)

QuickCheck for VDM
par: Battle, Nick, et autres
Publié: (2024)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
par: Amusuo, Paschal C., et autres
Publié: (2024)

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

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

Simple Types for Polymorphic Functions
par: Jay, Barry, et autres
Publié: (2026)

Separation Logic of Generic Resources via Sheafeology
par: van Starkenburg, Berend, et autres
Publié: (2025)

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

Test Case Features as Hyper-heuristics for Inductive Programming
par: McDaid, Edward, et autres
Publié: (2024)

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

Verified VCG and Verified Compiler for Dafny
par: Nezamabadi, Daniel, 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)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
par: Cerda, Rémy
Publié: (2025)

Totality for Mixed Inductive and Coinductive Types
par: Hyvernat, Pierre
Publié: (2019)

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

Bounded Modal Logic
par: Murase, Yuito, et autres
Publié: (2026)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
par: Amusuo, Paschal C., et autres
Publié: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
par: Gross, Jason, et autres
Publié: (2022)

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

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

Probability and Angelic Nondeterminism with Multiset Semantics
par: Ong, Shawn, et autres
Publié: (2024)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
par: McCann, Alan L.
Publié: (2026)

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

Polymorphic Records for Dynamic Languages
par: Castagna, Giuseppe, et autres
Publié: (2024)

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

Controlling Copatterns: There and Back Again (Extended Version)
par: Downen, Paul
Publié: (2025)

Weak-Linear Types
par: Gramaglia, Hector
Publié: (2024)