A programmable programming language
A programmable programming language Page 1 62 COMMUNICATIONS OF THE ACM | MARCH
2018 | VOL. 61 | NO. 3 IN THE IDEAL world, software developers would analyze each problem …
2018 | VOL. 61 | NO. 3 IN THE IDEAL world, software developers would analyze each problem …
Language-driven engineering: from general-purpose to purpose-specific languages
In this paper, we present the paradigm of Language-Driven Engineering (LDE), which is
characterized by its unique support for division of labour on the basis of Domain-Specific …
characterized by its unique support for division of labour on the basis of Domain-Specific …
Adding interactive visual syntax to textual code
Many programming problems call for turning geometrical thoughts into code: tables,
hierarchical structures, nests of objects, trees, forests, graphs, and so on. Linear text does …
hierarchical structures, nests of objects, trees, forests, graphs, and so on. Linear text does …
Macros for domain-specific languages
M Ballantyne, A King, M Felleisen - Proceedings of the ACM on …, 2020 - dl.acm.org
Macros provide a powerful means of extending languages. They have proven useful in both
general-purpose and domain-specific programming contexts. This paper presents an …
general-purpose and domain-specific programming contexts. This paper presents an …
[PDF][PDF] V2V: Efficiently Synthesizing Video Results for Video Queries
D Winecki, A Nandi - 2024 IEEE 40th International Conference on …, 2024 - ixlab.github.io
Querying video data has become increasingly popular and useful. Video queries can be
complex, ranging from retrieval tasks (“find me the top videos that have...”), to analytics (“how …
complex, ranging from retrieval tasks (“find me the top videos that have...”), to analytics (“how …
Multi-stage programming with generative and analytical macros
In metaprogramming, code generation and code analysis are complementary. Traditionally,
principled metaprogramming extensions for programming languages, like MetaML and BER …
principled metaprogramming extensions for programming languages, like MetaML and BER …
Dependent type systems as macros
S Chang, M Ballantyne, M Turner… - Proceedings of the ACM …, 2019 - dl.acm.org
We present Turnstile+, a high-level, macros-based metaDSL for building dependently typed
languages. With it, programmers may rapidly prototype and iterate on the design of new …
languages. With it, programmers may rapidly prototype and iterate on the design of new …
Language-Driven Engineering An Interdisciplinary Software Development Paradigm
We illustrate how purpose-specific, graphical modeling enables application experts with
different levels of expertise to collaboratively design and then produce complex applications …
different levels of expertise to collaboratively design and then produce complex applications …
Scalable Metaprogramming in Scala 3
NA Stucki - 2023 - infoscience.epfl.ch
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 …
Multi-stage programming introduced an elegant and powerful solution to this problem. It …
DSLs in Racket: You Want It How, Now?
Domain-Specific Languages (DSLs) are a popular way to simplify and streamline
programmatic solutions of commonly occurring yet specialized tasks. While the design of …
programmatic solutions of commonly occurring yet specialized tasks. While the design of …