Image de couverture de livre

A Shallow Embedding of Datalog in Lean

Fuente: arXiv

Enregistré dans:

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

Documents similaires

LLMs Lean on Priors, Not Programming Language Semantics
par: Thimmaiah, Aditya, et autres
Publié: (2025)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
par: Chen, Rui, et autres
Publié: (2025)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
par: Amilon, Jesper, et autres
Publié: (2026)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
par: Xin, Yutong, et autres
Publié: (2026)

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
par: Erata, Ferhat, et autres
Publié: (2024)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
par: Li, Zhuohao, et autres
Publié: (2025)

Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis
par: Zhang, Ke, et autres
Publié: (2026)

Explainable AI for Embedded Systems Design: A Case Study of Static Redundant NVM Memory Write Prediction
par: Gamatié, Abdoulaye, et autres
Publié: (2024)

A New Generation of Intelligent Development Environments
par: Marron, Mark
Publié: (2024)

A Trace-based Approach for Code Safety Analysis
par: Xu, Hui
Publié: (2025)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
par: Rak-amnouykit, Ingkarat, et autres
Publié: (2024)

A Roadmap for Tamed Interactions with Large Language Models
par: Scotti, Vincenzo, et autres
Publié: (2025)

EATXT: A textual concrete syntax for EAST-ADL
par: Zhang, Weixing, et autres
Publié: (2024)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
par: Zhu, Qian, et autres
Publié: (2025)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
par: Zhang, Bowen, et autres
Publié: (2024)

React-tRace: A Semantics for Understanding React Hooks
par: Lee, Jay, et autres
Publié: (2025)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
par: Diamantakis, Panagiotis, et autres
Publié: (2025)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
par: Montesi, Fabrizio, et autres
Publié: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
par: Ferreiro, Daniela, et autres
Publié: (2025)

A Unified Framework for Automated Code Transformation and Pragma Insertion
par: Pouget, Stéphane, et autres
Publié: (2024)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
par: Wang, Zhiyi, et autres
Publié: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
par: Damiani, Ferruccio, et autres
Publié: (2026)

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
par: Kim, Seongmin, et autres
Publié: (2026)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
par: Geng, Chuqin, et autres
Publié: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
par: Szabo, Violet, et autres
Publié: (2024)

Certus: A domain specific language for confidence assessment in assurance cases
par: Diemert, Simon, et autres
Publié: (2025)

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
par: Amaral, Isabel, et autres
Publié: (2025)

Package Managers à la Carte: A Formal Model of Dependency Resolution
par: Gibb, Ryan, et autres
Publié: (2026)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
par: Ates, Berke, et autres
Publié: (2026)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
par: Li, Hebi, et autres
Publié: (2023)

QCP: A Practical Separation Logic-based C Program Verification Tool
par: Wu, Xiwei, et autres
Publié: (2025)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
par: Erata, Ferhat, et autres
Publié: (2024)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
par: Bucev, Mario, et autres
Publié: (2024)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
par: Zhao, Jianhong, et autres
Publié: (2024)

InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
par: Wright, Tanner, et autres
Publié: (2026)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
par: Gilot, Andrea, et autres
Publié: (2025)

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
par: Bhattar, Poornachandratejasvi Laxman, et autres
Publié: (2026)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
par: Xie, Xiaoheng, et autres
Publié: (2024)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
par: Odyurt, Uraz, et autres
Publié: (2025)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
par: Xu, Ning, et autres
Publié: (2026)