Imagen de Portada

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Jang, Junyoung, Pientka, Brigitte
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Adjoint Natural Deduction (Extended Version)
por: Jang, Junyoung, et al.
Publicado: (2024)

Linear Contextual Metaprogramming and Session Types
por: Ângelo, Pedro, et al.
Publicado: (2024)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
por: Hu, Jason Z. S., et al.
Publicado: (2024)

Layered Modal Type Theories
por: Hu, Jason Z. S., et al.
Publicado: (2023)

Gradual Metaprogramming
por: Chen, Tianyu, et al.
Publicado: (2025)

Ordered Adjoint Logic (Extended Version)
por: Roshal, Sophia, et al.
Publicado: (2026)

Contextual Metaprogramming for Session Types
por: Ângelo, Pedro, et al.
Publicado: (2026)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
por: Matsuoka, Satoshi
Publicado: (2026)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
por: Chen, Tianyu, et al.
Publicado: (2026)

Thread and Memory-Safe Programming with CLASS
por: Caires, Luís
Publicado: (2025)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
por: Lahav, Ori, et al.
Publicado: (2023)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
por: Bembenek, Aaron, et al.
Publicado: (2026)

Denotational Foundations for Expected Cost Analysis
por: de Amorim, Pedro H. Azevedo
Publicado: (2024)

Structural Analysis of GRAFCET Control Specifications
por: Schnakenbeck, Aron, et al.
Publicado: (2023)

Termination Analysis of Linear-Constraint Programs
por: Ben-Amram, Amir M., et al.
Publicado: (2025)

Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
por: Lee, Jaeseo, et al.
Publicado: (2025)

A Type System for Data Flow and Alias Analysis in ReScript
por: Lund, Nicky Ask, et al.
Publicado: (2024)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
por: Castagna, Giuseppe, et al.
Publicado: (2024)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
por: Monniaux, David
Publicado: (2024)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
por: Rustenholz, Louis, et al.
Publicado: (2024)

Reversible Computation with Stacks and "Reversible Management of Failures"
por: Palazzo, Matteo, et al.
Publicado: (2025)

Kleene algebra with commutativity conditions is undecidable
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2024)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
por: Chakraborty, Soham, et al.
Publicado: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
por: Kaye, George
Publicado: (2025)

Impredicativity in Linear Dependent Type Theory
por: Speight, Sam, et al.
Publicado: (2026)

Structural Temporal Logic for Mechanized Program Verification
por: Ioannidis, Eleftherios, et al.
Publicado: (2024)

An Introduction to Different Approaches to Initial Semantics
por: Lamiaux, Thomas, et al.
Publicado: (2024)

More Church-Rosser Proofs in BELUGA
por: Momigliano, Alberto, et al.
Publicado: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
por: Goncharov, Sergey, et al.
Publicado: (2024)

A Nominal Approach to Probabilistic Separation Logic
por: Li, John M., et al.
Publicado: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2024)

Hybrid Intersection Types for PCF (Extended Version)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

Verifying Lock-free Search Structure Templates
por: Patel, Nisarg, et al.
Publicado: (2024)

Functional Array Programming in an Extended Pi-Calculus
por: Hüttel, Hans, et al.
Publicado: (2024)

An Abstract Domain for Heap Commutativity (Extended Version)
por: Pincus, Jared, et al.
Publicado: (2024)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
por: Verscht, Lena, et al.
Publicado: (2024)

Verifying Functional Correctness Properties At the Level of Java Bytecode
por: Paganoni, Marco, et al.
Publicado: (2024)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
por: Accattoli, Beniamino
Publicado: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

Domain Reasoning in TopKAT
por: Zhang, Cheng, et al.
Publicado: (2024)