Buchumschlag

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Warren, David S., Liu, Yanhong A.
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

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
von: Nerode, Anil, et al.
Veröffentlicht: (2024)

Proceedings of the 2024 miniKanren and Relational Programming Workshop
von: Verbitskaia, Ekaterina, et al.
Veröffentlicht: (2024)

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
von: Chang, Stephen
Veröffentlicht: (2024)

Proceedings 14th International Workshop on Trends in Functional Programming in Education
von: Bohrer, Rose
Veröffentlicht: (2025)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
von: Rocha, Filipe Marinho, et al.
Veröffentlicht: (2024)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
von: Chaudhuri, Kaustuv, et al.
Veröffentlicht: (2025)

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Costa, Diana, et al.
Veröffentlicht: (2024)

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Peters, Kirstin, et al.
Veröffentlicht: (2026)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2025)

From Program Logics to Language Logics
von: Cimini, Matteo
Veröffentlicht: (2024)

Functional Logic Program Transformations
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

A Prolog Program for Bottom-up Evaluation
von: Warren, David S.
Veröffentlicht: (2025)

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

A Monadic Implementation of Functional Logic Programs
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
von: Kutsia, Temur, et al.
Veröffentlicht: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)

ReGAL: Refactoring Programs to Discover Generalizable Abstractions
von: Stengel-Eskin, Elias, et al.
Veröffentlicht: (2024)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
von: Dantanarayana, Jayanaka L., et al.
Veröffentlicht: (2024)

LP-LM: No Hallucinations in Question Answering with Logic Programming
von: Wu, Katherine, et al.
Veröffentlicht: (2025)

Finite-Choice Logic Programming
von: Martens, Chris, et al.
Veröffentlicht: (2024)

Logic Programming with Extensible Types
von: Perez, Ivan, et al.
Veröffentlicht: (2026)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

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

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
von: Younis, Ed
Veröffentlicht: (2025)

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
von: Sohn, Gina, et al.
Veröffentlicht: (2025)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
von: Faro, Simone, et al.
Veröffentlicht: (2025)

Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
von: Xiao, Youwei, et al.
Veröffentlicht: (2025)

Cerisier: A Program Logic for Attestation in a Capability Machine
von: Rousseau, June, et al.
Veröffentlicht: (2026)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
von: Flanagan, Cormac, et al.
Veröffentlicht: (2024)

Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
von: Rosa, Evandro C. R., et al.
Veröffentlicht: (2024)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
von: Saurin, Alexis
Veröffentlicht: (2025)

Incremental Computation: What Is the Essence?
von: Liu, Yanhong A.
Veröffentlicht: (2023)

Structural Temporal Logic for Mechanized Program Verification
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

FO-Complete Program Verification for Heap Logics
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
von: Nagy, Shaan, et al.
Veröffentlicht: (2024)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
von: Foo, Darius, et al.
Veröffentlicht: (2023)

Very High Level Programming Languages (e.g., SNOBOL, COMIT) in the Special Librarian's Future
von: Libbey, Miles A.
Veröffentlicht: (1975)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
von: Zilberstein, Noam
Veröffentlicht: (2024)