Image de couverture de livre

Reasoning About Exceptional Behavior At the Level of Java Bytecode

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Paganoni, Marco, Furia, Carlo A.
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Verifying Functional Correctness Properties At the Level of Java Bytecode
par: Paganoni, Marco, et autres
Publié: (2024)

Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
par: Losavio, Lidia, et autres
Publié: (2025)

Complete Local Reasoning About Parameterized Programs Over Topologies
par: Cheng, Ruotong, et autres
Publié: (2026)

Reasoning about Weak Isolation Levels in Separation Logic
par: Mathiasen, Anders Alnor, et autres
Publié: (2025)

Domain Reasoning in TopKAT
par: Zhang, Cheng, et autres
Publié: (2024)

Bialgebraic Reasoning on Stateful Languages
par: Goncharov, Sergey, et autres
Publié: (2025)

Kleene algebra with commutativity conditions is undecidable
par: de Amorim, Arthur Azevedo, et autres
Publié: (2024)

Internalizing Representation Independence with Univalence
par: Angiuli, Carlo, et autres
Publié: (2020)

Bialgebraic Reasoning on Higher-Order Program Equivalence
par: Goncharov, Sergey, et autres
Publié: (2024)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
par: Haselwarter, Philipp G., et autres
Publié: (2024)

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
par: Bao, Jialu, et autres
Publié: (2024)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
par: Zilberstein, Noam, et autres
Publié: (2024)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
par: Lööw, Andreas, et autres
Publié: (2024)

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
par: Poli, Federico, et autres
Publié: (2024)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
par: Zilberstein, Noam, et autres
Publié: (2023)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
par: Lahav, Ori, et autres
Publié: (2023)

A Probabilistic Choreography Language for PRISM
par: Carbone, Marco, et autres
Publié: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
par: Aguirre, Alejandro, et autres
Publié: (2024)

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
par: Montesi, Fabrizio, et autres
Publié: (2026)

Towards a Higher-Order Bialgebraic Denotational Semantics
par: Goncharov, Sergey, et autres
Publié: (2026)

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

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
par: Zhang, Cheng, et autres
Publié: (2026)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
par: Nerode, Anil, et autres
Publié: (2024)

Extended Abstract: Mutable Objects with Several Implementations
par: Kaufmann, Matt, et autres
Publié: (2025)

Symbolic Specification and Reasoning for Quantum Data and Operations
par: Ying, Mingsheng
Publié: (2025)

Typed Non-determinism in Concurrent Calculi: The Eager Way
par: Heuvel, Bas van den, et autres
Publié: (2024)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
par: Ileri, Atalay Mert, et autres
Publié: (2024)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
par: King, Daragh, et autres
Publié: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
par: Kaye, George
Publié: (2025)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
par: Yubeaton, Patrick, et autres
Publié: (2025)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
par: Bharti, Varun, et autres
Publié: (2025)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

Structural Temporal Logic for Mechanized Program Verification
par: Ioannidis, Eleftherios, et autres
Publié: (2024)

An Introduction to Different Approaches to Initial Semantics
par: Lamiaux, Thomas, et autres
Publié: (2024)

More Church-Rosser Proofs in BELUGA
par: Momigliano, Alberto, et autres
Publié: (2024)

A Nominal Approach to Probabilistic Separation Logic
par: Li, John M., et autres
Publié: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
par: Beutner, Raven, et autres
Publié: (2024)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
par: Hu, Jason Z. S., et autres
Publié: (2024)