Buchumschlag

Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Niu, Yue, Sterling, Jonathan, Harper, Robert
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

A denotationally-based program logic for higher-order store
von: Aagaard, Frederik Lerbjerg, et al.
Veröffentlicht: (2023)

Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
von: Li, Runming, et al.
Veröffentlicht: (2025)

Mechanizing Synthetic Tait Computability in Istari
von: Li, Runming, et al.
Veröffentlicht: (2025)

Logical Relations for Session-Typed Concurrency
von: Balzer, Stephanie, et al.
Veröffentlicht: (2023)

Full Iso-recursive Types
von: Zhou, Litao, et al.
Veröffentlicht: (2024)

Abstraction Functions as Types
von: Grodin, Harrison, et al.
Veröffentlicht: (2025)

When is the partial map classifier a Sierpiński cone?
von: Pugh, Leoni, et al.
Veröffentlicht: (2025)

Polyregular equivalence is undecidable in higher-order types
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2026)

Compositional security definitions for higher-order where declassification
von: Menz, Jan, et al.
Veröffentlicht: (2026)

Amortized Analysis via Coalgebra
von: Grodin, Harrison, et al.
Veröffentlicht: (2024)

Learning logic programs by discovering higher-order abstractions
von: Hocquette, Céline, et al.
Veröffentlicht: (2023)

Origami: (un)folding the abstraction of recursion schemes for program synthesis
von: Fernandes, Matheus Campos, et al.
Veröffentlicht: (2024)

An Iris for Expected Cost Analysis
von: Lohse, Janine, et al.
Veröffentlicht: (2024)

Efficient Cost Bounds with Linear Maps
von: Kahn, David M, et al.
Veröffentlicht: (2025)

On the computational complexity of JavaScript regex matching
von: Deng, Victor, et al.
Veröffentlicht: (2026)

Automated Expected Cost Analysis for Quantum Programs
von: Moser, Georg, et al.
Veröffentlicht: (2026)

Cost Analysis for Import and Export Using an Abstract Machine
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2024)

Tensorial structure of the lifting doctrine in constructive domain theory
von: Sterling, Jonathan
Veröffentlicht: (2023)

Duality-based Mode Operations and Pyramid Multilayer Mapping for Rhetorical Modes
von: Wu, Zi-Niu
Veröffentlicht: (2025)

Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
von: Heltweg, Philip, et al.
Veröffentlicht: (2025)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
von: Xia, Li-yao, et al.
Veröffentlicht: (2024)

Scylla: Translating an Applicative Subset of C to Safe Rust
von: Fromherz, Aymeric, et al.
Veröffentlicht: (2024)

Cost-Driven Synthesis of Sound Abstract Interpreters
von: Gu, Qiuhan, et al.
Veröffentlicht: (2025)

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
von: Martin, Vassor, et al.
Veröffentlicht: (2024)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
von: Bobrow, Elliot, et al.
Veröffentlicht: (2025)

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

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
von: Ho, Son, et al.
Veröffentlicht: (2024)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
von: Van der Cruysse, Jonathan, et al.
Veröffentlicht: (2023)

Inductive diagrams for causal reasoning
von: Castello, Jonathan, et al.
Veröffentlicht: (2023)

Typed compositional quantum computation with lenses
von: Garrigue, Jacques, et al.
Veröffentlicht: (2023)

VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
von: Niu, Juxin, et al.
Veröffentlicht: (2025)

Denotational Foundations for Expected Cost Analysis
von: de Amorim, Pedro H. Azevedo
Veröffentlicht: (2024)

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
von: Yuan, Charles, et al.
Veröffentlicht: (2023)

Reasoning about concurrent loops and recursion with rely-guarantee rules
von: Hayes, Ian J., et al.
Veröffentlicht: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
von: Cuéllar, Santiago, et al.
Veröffentlicht: (2025)

CRDT Emulation, Simulation, and Representation Independence
von: Liittschwager, Nathan, et al.
Veröffentlicht: (2025)

Adaptive Shielding via Parametric Safety Proofs
von: Feng, Yao, et al.
Veröffentlicht: (2025)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
von: Accattoli, Beniamino
Veröffentlicht: (2022)

Higher-order bialgebraic semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
von: Chen, Chen, et al.
Veröffentlicht: (2024)