Imagen de Portada

Optimal matching for sharing and linearity analysis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Amato, Gianluca, Scozzari, Francesca
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages Logic in Computer Science 68N17, 68N30 D.1.6; D.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
por: Amato, Gianluca, et al.
Publicado: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
por: De Angelis, Emanuele, et al.
Publicado: (2022)

Type Inference for Isabelle2Cpp
por: Jiang, Dongchen, et al.
Publicado: (2024)

Implementing backjumping by means of exception handling
por: Drabent, Włodzimierz
Publicado: (2023)

On systematic construction of correct logic programs
por: Drabent, Włodzimierz
Publicado: (2025)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
por: Erhard, Julian, et al.
Publicado: (2024)

Array-Carrying Symbolic Execution for Function Contract Generation
por: Lu, Weijie, et al.
Publicado: (2026)

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
por: Buoncompagni, Luca, et al.
Publicado: (2024)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
por: Iskander, Ray
Publicado: (2026)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
por: Li, Meng, et al.
Publicado: (2026)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
por: Guo, Jinyao, et al.
Publicado: (2025)

A note on occur-check (extended report)
por: Drabent, Włodzimierz
Publicado: (2022)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
por: Wang, Chengpeng, et al.
Publicado: (2024)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
por: López, Hugo A., et al.
Publicado: (2024)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
por: Bouzinier, Michael, et al.
Publicado: (2026)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
por: Lauer, Alexander, et al.
Publicado: (2026)

Equivalence of Applicative Functors and Multifunctors
por: Abel, Andreas
Publicado: (2024)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
por: Lin, Hongyu, et al.
Publicado: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
por: Helbling, Caleb, et al.
Publicado: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
por: Helbling, Caleb, et al.
Publicado: (2025)

BRIDGE: Building Representations In Domain Guided Program Synthesis
por: George, Robert Joseph, et al.
Publicado: (2025)

Complexity of Consistency Testing for the Release-Acquire Semantics
por: Govind, R., et al.
Publicado: (2026)

Multiset semantics in SPARQL, Relational Algebra and Datalog
por: Angles, Renzo, et al.
Publicado: (2026)

Contract-based Verification of Digital Twins
por: Naeem, Muhammad, et al.
Publicado: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
por: Rumpe, Bernhard, et al.
Publicado: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
por: Niketan, Nripesh, et al.
Publicado: (2025)

Spatio-temporal Value Semantics-based Abstraction for Dense Deep Reinforcement Learning
por: Nie, Jihui, et al.
Publicado: (2024)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
por: Liyanage, Danushka, et al.
Publicado: (2025)

The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks
por: Zhang, Di
Publicado: (2025)

Erlang Binary and Source Code Obfuscation
por: Morse, Gregory, et al.
Publicado: (2026)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
por: Grahl, Johanna, et al.
Publicado: (2025)

The Semantics of Metapropramming in Prolog
por: Warren, David S.
Publicado: (2024)

Hypernetwork Theory: The Structural Kernel
por: Charlesworth, Richard D.
Publicado: (2025)

Hashing Modulo Context-Sensitive $α$-Equivalence
por: Blaauwbroek, Lasse, et al.
Publicado: (2024)

Attack-Centric by Design: A Program-Structure Taxonomy of Smart Contract Vulnerabilities
por: Hedayatnia, Parsa, et al.
Publicado: (2025)

AI for software engineering: from probable to provable
por: Meyer, Bertrand
Publicado: (2025)

Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
por: Liu, Bowen, et al.
Publicado: (2026)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
por: Huisman, Marieke, et al.
Publicado: (2020)

Validation of an analyzability model for quantum software: a family of experiments
por: Díaz-Muñoz, Ana, et al.
Publicado: (2026)

Formal Analysis and Supply Chain Security for Agentic AI Skills
por: Bhardwaj, Varun Pratap
Publicado: (2026)