Buchumschlag

The Semantics of Metapropramming in Prolog

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Warren, David S.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages 68N17 (Primary) 68N15 (Secondary) D.3.1; F.3.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Emulation-Completeness of Programming Languages
von: Morse, Gregory, et al.
Veröffentlicht: (2026)

On systematic construction of correct logic programs
von: Drabent, Włodzimierz
Veröffentlicht: (2025)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
von: Oza, Neeva, et al.
Veröffentlicht: (2025)

Inferring Input Grammars from Code with Symbolic Parsing
von: Bettscheider, Leon, et al.
Veröffentlicht: (2025)

Deconstructed Proto-Quipper: A Rational Reconstruction
von: Kavanagh, Ryan, et al.
Veröffentlicht: (2025)

Internalizing Extensions in Lattices of Type Theories
von: Chan, Jonathan
Veröffentlicht: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
von: Chan, Jonathan, et al.
Veröffentlicht: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
von: Niketan, Nripesh, et al.
Veröffentlicht: (2025)

Folding the Heighway dragon curve
von: Chang, Ting-Wu, et al.
Veröffentlicht: (2026)

Multiple Query Satisfiability of Constrained Horn Clauses
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2022)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2026)

Hashing Modulo Context-Sensitive $α$-Equivalence
von: Blaauwbroek, Lasse, et al.
Veröffentlicht: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
von: Zhong, Zhiyao, et al.
Veröffentlicht: (2025)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2024)

BRIDGE: Building Representations In Domain Guided Program Synthesis
von: George, Robert Joseph, et al.
Veröffentlicht: (2025)

Transport via Partial Galois Connections and Equivalences
von: Kappelmann, Kevin
Veröffentlicht: (2023)

Fully Dynamic Maintenance of Loop Nesting Forests in Reducible Flow Graphs
von: Morse, Gregory, et al.
Veröffentlicht: (2026)

A note on occur-check (extended report)
von: Drabent, Włodzimierz
Veröffentlicht: (2022)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
von: Bouzinier, Michael, et al.
Veröffentlicht: (2026)

Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
von: López-Rubio, Ezequiel
Veröffentlicht: (2026)

Quest Complete: the Holy Grail of Gradual Security
von: Chen, Tianyu, et al.
Veröffentlicht: (2023)

Sequence-Based Abstract Interpretation of Prolog
von: Charlier, Baudouin Le, et al.
Veröffentlicht: (2000)

Braids, twists, trace and duality in combinatory algebras
von: Hasegawa, Masahito, et al.
Veröffentlicht: (2024)

Erlang Binary and Source Code Obfuscation
von: Morse, Gregory, et al.
Veröffentlicht: (2026)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
von: Siek, Jeremy G.
Veröffentlicht: (2024)

foetus -- Termination Checker for Simple Functional Programs
von: Abel, Andreas
Veröffentlicht: (2024)

Array-Carrying Symbolic Execution for Function Contract Generation
von: Lu, Weijie, et al.
Veröffentlicht: (2026)

Idempotent Slices with Applications to Code-Size Reduction
von: de Azevedo, Rafael Alvarenga, et al.
Veröffentlicht: (2026)

Multi-Language Benchmark Generation via L-Systems
von: da Silva, Vinícius Francisco, et al.
Veröffentlicht: (2025)

High-Performance Generation of Constrained Inputs
von: Crump, Addison, et al.
Veröffentlicht: (2025)

Complete Robust Hybrid Systems Reachability
von: Wafa, Noah Abou El, et al.
Veröffentlicht: (2026)

Conformance Games for Graded Semantics
von: Forster, Jonas, et al.
Veröffentlicht: (2024)

Contract-based Verification of Digital Twins
von: Naeem, Muhammad, et al.
Veröffentlicht: (2025)

Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
von: Araujo, Alan
Veröffentlicht: (2026)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
von: Sumitani, Rafael, et al.
Veröffentlicht: (2024)

Explicit Weakening
von: Wadler, Philip
Veröffentlicht: (2024)

Unraveling the iterative CHAD
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2025)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
von: Amato, Gianluca, et al.
Veröffentlicht: (2024)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
von: Peyrano, Ignacio
Veröffentlicht: (2026)