Concept
First-generation programming language
Related publications (13)
Scalable Metaprogramming in Scala 3
A metaprogrammer should be able to reason about the semantics of the generated code.Multi-stage programming introduced an elegant and powerful solution to this problem.It follows a semantically driven approach to code generation, where semantics are fully ...
EPFL2023Design Space Exploration for Partitioning Dataflow Program on CPU-GPU Heterogeneous System
Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch
Dataflow programming is a methodology that enables the development of high-level, parametric programs that are independent of the underlying platform. This approach is particularly useful for heterogeneous platforms, as it eliminates the need to rewrite ap ...
SPRINGER2023Proof of Multi-Stage Programming with Generative and Analytical Macros
Martin Odersky, Nicolas Alexander Stucki, Jonathan Immanuel Brachthäuser
In metaprogramming, code generation and code analysis are complementary. Traditionally, principled metaprogramming extensions for programming languages, like MetaML and BER MetaOCaml, offer strong foundations for code generation but lack equivalent support ...
EPFL2021Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages
Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle various impl ...
EPFL2020Compilation and Code Optimization for Data Analytics
The trade-offs between the use of modern high-level and low-level programming languages in constructing complex software artifacts are well known. High-level languages allow for greater programmer productivity: abstraction and genericity allow for the same ...
EPFL2018Code Generation in Computational Neuroscience: A Review of Tools and Techniques
Michael Lee Hines, Pramod Shivaji Kumbhar, Romain Brette
Advances in experimental techniques and computational power allowing researchers to gather anatomical and electrophysiological data at unprecedented levels of detail have fostered the development of increasingly complex models in computational neuroscience ...
2018Abstraction without regret in database systems building: a manifesto
It has been said that all problems in computer science can be solved by adding another level of indirection, except for performance problems, which are solved by removing levels of indirection. Compilers are our tools for removing levels of indirection aut ...
2014Optimizing Data Structures in High-Level Programs New Directions for Extensible Compilers based on Staging
Martin Odersky, Tiark Rompf, Nada Amin, Vojin Jovanovic, Manohar Jonnalagedda
High level data structures are a cornerstone of modern programming and at the same time stand in the way of compiler optimizations. In order to reason about user or library-defined data structures, compilers need to be extensible. Common mechanisms to exte ...
Assoc Computing Machinery2013Lightweight Modular Staging and Embedded Compilers
Programs expressed in a high-level programming language need to be translated to a low-level machine dialect for execution. This translation is usually accomplished by a compiler, which is able to translate any legal program to equivalent low-level code. B ...
EPFL2012Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs
Good software engineering practice demands generalization and abstraction, whereas high performance demands specialization and concretization. These goals are at odds, and compilers can only rarely translate expressive high-level programs to modern hardwar ...
2012