Buchumschlag

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Monat, Raphaël, Fromherz, Aymeric, Merigoux, Denis
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

CUTECat: Concolic Execution for Computational Law
von: Goutagny, Pierre, et al.
Veröffentlicht: (2024)

Try-Mopsa: Relational Static Analysis in Your Pocket
von: Monat, Raphaël
Veröffentlicht: (2025)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
von: Reitz, Antonin, et al.
Veröffentlicht: (2024)

Scylla: Translating an Applicative Subset of C to Safe Rust
von: Fromherz, Aymeric, et al.
Veröffentlicht: (2024)

Easing Maintenance of Academic Static Analyzers
von: Monat, Raphaël, et al.
Veröffentlicht: (2024)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
von: Ho, Son, et al.
Veröffentlicht: (2024)

Charon: An Analysis Framework for Rust
von: Ho, Son, et al.
Veröffentlicht: (2024)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
von: Monniaux, David
Veröffentlicht: (2024)

Arithmetizing Shape Analysis
von: Wolff, Sebastian, et al.
Veröffentlicht: (2024)

On the Anatomy of Real-World R Code for Static Analysis
von: Sihler, Florian, et al.
Veröffentlicht: (2024)

DateSAT: A Framework for Solving Date and Period Constraints
von: Cui, Leyi, et al.
Veröffentlicht: (2026)

Static Deadlock Detection for Rust Programs
von: Zhang, Yu, et al.
Veröffentlicht: (2024)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
von: Fujiwara, Yusuke, et al.
Veröffentlicht: (2026)

RacerF: Lightweight Static Data Race Detection for C Code
von: Dacík, Tomáš, et al.
Veröffentlicht: (2025)

Cocoon: Static Information Flow Control in Rust
von: Lamba, Ada, et al.
Veröffentlicht: (2023)

Static Analysis Under Non-Deterministic Program Assumptions
von: Rasheed, Abdullah H.
Veröffentlicht: (2026)

Abstract Interpretation-Based Data Leakage Static Analysis
von: Drobnjaković, Filip, et al.
Veröffentlicht: (2022)

A Natural Formalized Proof Language
von: Xie, Lihan, et al.
Veröffentlicht: (2024)

Practical Formal Verification for MLIR Programs
von: Tucker, Emily, et al.
Veröffentlicht: (2026)

$φ$-Calculus: Object-Oriented Formalism
von: Bugayenko, Yegor, et al.
Veröffentlicht: (2021)

C Analyzer : A Static Program Analysis Tool for C Programs
von: Solanki, Rajendra Kumar
Veröffentlicht: (2024)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
von: Xiong, Jing, et al.
Veröffentlicht: (2026)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

Precise Static Identification of Ethereum Storage Variables (Extended Version)
von: Lagouvardos, Sifis, et al.
Veröffentlicht: (2025)

Qihe: A General-Purpose Static Analysis Framework for Verilog
von: Chen, Qinlin, et al.
Veröffentlicht: (2026)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
von: Arafat, Hassan, et al.
Veröffentlicht: (2025)

A Brief Survey of Formal Models of Concurrency
von: Averill, Charles
Veröffentlicht: (2024)

Synthesizing Formal Semantics from Executable Interpreters
von: Liu, Jiangyi, et al.
Veröffentlicht: (2024)

Static Type Checking for Database Access Code
von: Kirz, Thomas James, et al.
Veröffentlicht: (2026)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
von: Cao, Jialun, et al.
Veröffentlicht: (2025)

From Algebraic Word Problem to Program: A Formalized Approach
von: Wiemerslage, Adam, et al.
Veröffentlicht: (2020)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
von: Kudasov, Nikolai, et al.
Veröffentlicht: (2024)

Laws of Quantum Programming
von: Ying, Mingsheng, et al.
Veröffentlicht: (2024)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
von: Wang, Peixin, et al.
Veröffentlicht: (2023)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
von: Zhao, Jianhong, et al.
Veröffentlicht: (2025)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
von: Böck, Markus, et al.
Veröffentlicht: (2025)

Random Variate Generation with Formal Guarantees
von: Saad, Feras A., et al.
Veröffentlicht: (2025)

Law and Order for Typestate with Borrowing
von: Saffrich, Hannes, et al.
Veröffentlicht: (2024)

Minuska: Towards a Formally Verified Programming Language Framework
von: Tušil, Jan, et al.
Veröffentlicht: (2024)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
von: Dardinier, Thibault, et al.
Veröffentlicht: (2024)