Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
From Separate Compilation to Sound Language Composition
Federico Bruzzone, Walter Cazzola, Luca Favalli
The development of programming languages involves complex theoretical and practical challenges, particularly when addressing modularity and reusability through language extensions.…
cs.PL2026
Meta-Monomorphizing Specializations
Federico Bruzzone, Walter Cazzola
Achieving zero-cost specialization remains a fundamental challenge in programming language and compiler design. It often necessitates trade-offs between expressive power and type s…
cs.PL2026
Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
Federico Bruzzone, Walter Cazzola, Luca Favini
Modern programming languages, most notably Rust, offer advanced linguistic constructs for building highly configurable software systems as aggregation of features -- identified by…