Buchumschlag

A Shallow Embedding of Datalog in Lean

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Shahin, Ramy
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

LLMs Lean on Priors, Not Programming Language Semantics
von: Thimmaiah, Aditya, et al.
Veröffentlicht: (2025)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
von: Chen, Rui, et al.
Veröffentlicht: (2025)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2026)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
von: Xin, Yutong, et al.
Veröffentlicht: (2026)

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
von: Erata, Ferhat, et al.
Veröffentlicht: (2024)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
von: Li, Zhuohao, et al.
Veröffentlicht: (2025)

Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis
von: Zhang, Ke, et al.
Veröffentlicht: (2026)

Explainable AI for Embedded Systems Design: A Case Study of Static Redundant NVM Memory Write Prediction
von: Gamatié, Abdoulaye, et al.
Veröffentlicht: (2024)

A New Generation of Intelligent Development Environments
von: Marron, Mark
Veröffentlicht: (2024)

A Trace-based Approach for Code Safety Analysis
von: Xu, Hui
Veröffentlicht: (2025)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
von: Rak-amnouykit, Ingkarat, et al.
Veröffentlicht: (2024)

A Roadmap for Tamed Interactions with Large Language Models
von: Scotti, Vincenzo, et al.
Veröffentlicht: (2025)

EATXT: A textual concrete syntax for EAST-ADL
von: Zhang, Weixing, et al.
Veröffentlicht: (2024)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
von: Zhu, Qian, et al.
Veröffentlicht: (2025)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
von: Zhang, Bowen, et al.
Veröffentlicht: (2024)

React-tRace: A Semantics for Understanding React Hooks
von: Lee, Jay, et al.
Veröffentlicht: (2025)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
von: Diamantakis, Panagiotis, et al.
Veröffentlicht: (2025)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
von: Montesi, Fabrizio, et al.
Veröffentlicht: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
von: Ferreiro, Daniela, et al.
Veröffentlicht: (2025)

A Unified Framework for Automated Code Transformation and Pragma Insertion
von: Pouget, Stéphane, et al.
Veröffentlicht: (2024)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
von: Wang, Zhiyi, et al.
Veröffentlicht: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
von: Damiani, Ferruccio, et al.
Veröffentlicht: (2026)

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
von: Kim, Seongmin, et al.
Veröffentlicht: (2026)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
von: Geng, Chuqin, et al.
Veröffentlicht: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
von: Szabo, Violet, et al.
Veröffentlicht: (2024)

Certus: A domain specific language for confidence assessment in assurance cases
von: Diemert, Simon, et al.
Veröffentlicht: (2025)

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
von: Amaral, Isabel, et al.
Veröffentlicht: (2025)

Package Managers à la Carte: A Formal Model of Dependency Resolution
von: Gibb, Ryan, et al.
Veröffentlicht: (2026)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
von: Ates, Berke, et al.
Veröffentlicht: (2026)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
von: Li, Hebi, et al.
Veröffentlicht: (2023)

QCP: A Practical Separation Logic-based C Program Verification Tool
von: Wu, Xiwei, et al.
Veröffentlicht: (2025)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
von: Erata, Ferhat, et al.
Veröffentlicht: (2024)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
von: Bucev, Mario, et al.
Veröffentlicht: (2024)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
von: Zhao, Jianhong, et al.
Veröffentlicht: (2024)

InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
von: Wright, Tanner, et al.
Veröffentlicht: (2026)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
von: Gilot, Andrea, et al.
Veröffentlicht: (2025)

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
von: Bhattar, Poornachandratejasvi Laxman, et al.
Veröffentlicht: (2026)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
von: Odyurt, Uraz, et al.
Veröffentlicht: (2025)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
von: Xu, Ning, et al.
Veröffentlicht: (2026)