Cover Image

Meta-Monomorphizing Specializations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bruzzone, Federico, Cazzola, Walter
Format:	Preprint
Published:	2026
Subjects:	Programming Languages D.3.3; D.3.4; D.2.4; D.2.10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
by: Bruzzone, Federico, et al.
Published: (2026)

From Separate Compilation to Sound Language Composition
by: Bruzzone, Federico, et al.
Published: (2026)

Adapting the MVVM pattern to C++ frontends and Agda-based backends
by: Csimma, Viktor
Published: (2026)

Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines
by: Mirji, Vittal
Published: (2026)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
by: Bruzzone, Federico, et al.
Published: (2025)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
by: Gross, Jason, et al.
Published: (2022)

Baking for Dafny: A CakeML Backend for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Weak-linearity, globality and in-place update
by: Gramaglia, Hector
Published: (2024)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
by: Knothe, David, et al.
Published: (2026)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

Sharing Analysis in the Pawns Compiler
by: Naish, Lee
Published: (2024)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
by: Kiselyov, Oleg, et al.
Published: (2024)

Verified VCG and Verified Compiler for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
by: Ouardi, Doha, et al.
Published: (2024)

Verifying Device Drivers with Pancake
by: Zhao, Junming, et al.
Published: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

The concept of class invariant in object-oriented programming
by: Meyer, Bertrand, et al.
Published: (2021)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
by: Vogel, Martin, et al.
Published: (2026)

Grounded Language Design for Lightweight Diagramming for Formal Methods
by: Prasad, Siddhartha, et al.
Published: (2024)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
by: Geeson, Luke, et al.
Published: (2024)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
by: Beg, Arshad, et al.
Published: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Teaching Introductory Functional Programming Using Haskelite
by: Vasconcelos, Pedro
Published: (2025)

Sink or SWIM: Tackling Real-Time ASR at Scale
by: Bruzzone, Federico, et al.
Published: (2026)

Dr Wenowdis: Specializing dynamic language C extensions using type information
by: Bernstein, Maxwell, et al.
Published: (2024)

Siren Federate: Bridging document, relational, and graph models for exploratory graph analysis
by: Bordea, Georgeta, et al.
Published: (2025)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
by: de Medeiros, Sérgio Queiroz, et al.
Published: (2024)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
by: Accattoli, Beniamino, et al.
Published: (2025)

LR Parsing of Permutation Phrases
by: Kostičová, Jana
Published: (2024)

AI Coding Agents Need Better Compiler Remarks
by: Deo, Akash, et al.
Published: (2026)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
by: Heuvel, Bas van den, et al.
Published: (2024)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
by: Lopoukhine, Alexandre, et al.
Published: (2025)

The Complexity of Testing Message-Passing Concurrency
by: Shi, Zheng, et al.
Published: (2025)

The Denotational Semantics of SSA
by: Ghalayini, Jad Elkhaleq, et al.
Published: (2024)