Buchumschlag

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Leißa, Roland, Ulrich, Marcel, Meyer, Joachim, Hack, Sebastian
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

SSA without Dominance for Higher-Order Programs
von: Leißa, Roland, et al.
Veröffentlicht: (2026)

Extensibility in Programming Languages: An overview
von: Nicolajsen, Sebastian mateos
Veröffentlicht: (2025)

Sidekick compilation with xDSL
von: Fehr, Mathieu, et al.
Veröffentlicht: (2023)

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

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

The CoCompiler: DSL Lifting via Relational Compilation
von: Spargo, Naomi, et al.
Veröffentlicht: (2025)

Context-Aware Separation Logic
von: Meyer, Roland, et al.
Veröffentlicht: (2023)

Abstracting Extensible Recursive Functions
von: Hubers, Alex, et al.
Veröffentlicht: (2024)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
von: Singh, Avaljot, et al.
Veröffentlicht: (2024)

AI-Assisted Modeling: DSL-Driven AI Interactions
von: Smyth, Steven, et al.
Veröffentlicht: (2025)

Towards Algebraic Subtyping for Extensible Records
von: Marques, Rodrigo, et al.
Veröffentlicht: (2024)

Fast and Extensible Hybrid Embeddings with Micros
von: Bocirnea, Sean, et al.
Veröffentlicht: (2025)

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
von: Luo, Junjie, et al.
Veröffentlicht: (2024)

From a Natural to a Formal Language with DSL Assistant
von: Mosthaf, My M., et al.
Veröffentlicht: (2024)

Oriented Metrics for Bottom-Up Enumerative Synthesis
von: Meyer, Roland, et al.
Veröffentlicht: (2025)

Demonstrating a Future for MLIR-native DSL Compilers on a NumPy-like Example
von: Friebel, Karl F. A., et al.
Veröffentlicht: (2026)

Pacing Types: Safe Monitoring of Asynchronous Streams
von: Kohn, Florian, et al.
Veröffentlicht: (2025)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
von: DeLorenzo, Matthew, et al.
Veröffentlicht: (2025)

Realizability in Semantics-Guided Synthesis Done Eagerly
von: Meyer, Roland, et al.
Veröffentlicht: (2024)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
von: Lybech, Stian, et al.
Veröffentlicht: (2025)

SPML: A DSL for Defending Language Models Against Prompt Attacks
von: Sharma, Reshabh K, et al.
Veröffentlicht: (2024)

Establishing tool support for a concept DSL
von: Jakobsen, Nikolaj Kühne
Veröffentlicht: (2025)

HUGR: A Quantum-Classical Intermediate Representation
von: Koch, Mark, et al.
Veröffentlicht: (2025)

FlowLog: Efficient and Extensible Datalog via Incrementality
von: Zhao, Hangdong, et al.
Veröffentlicht: (2025)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
von: Abounegm, Abdelrahman, et al.
Veröffentlicht: (2024)

Forklift: An Extensible Neural Lifter
von: Armengol-Estapé, Jordi, et al.
Veröffentlicht: (2024)

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

IRCoder: Intermediate Representations Make Language Models Robust Multilingual Code Generators
von: Paul, Indraneil, et al.
Veröffentlicht: (2024)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
von: Fowler, Simon, et al.
Veröffentlicht: (2026)

A Formal Semantics of the GraalVM Intermediate Representation
von: Webb, Brae J., et al.
Veröffentlicht: (2021)

An Intermediate Program Representation for Optimizing Stream-Based Languages
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
von: Sharp, Toby
Veröffentlicht: (2025)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
von: Chen, Yijia, et al.
Veröffentlicht: (2024)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
von: Deng, Haotian, et al.
Veröffentlicht: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2024)

Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
von: Spanò, Alvise
Veröffentlicht: (2024)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
von: Ye, He, et al.
Veröffentlicht: (2023)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
von: van der Wall, Sören, et al.
Veröffentlicht: (2024)

Behavioural Types for Heterogeneous Systems (Position Paper)
von: Fowler, Simon, et al.
Veröffentlicht: (2024)

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