Unembedding Domain-Specific Languages

被引：0
|
作者：
Atkey, Robert [1 ]
Lindley, Sam [1 ]
Yallop, Jeremy [1 ]
机构：
[1] Univ Edinburgh, Sch Informat, LFCS, Edinburgh EH8 9YL, Midlothian, Scotland
来源：
HASKELL'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN HASKELL SYMPOSIUM | 2009年
关键词：
domain-specific languages; higher-order abstract syntax; type classes; unembedding; SYNTAX;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Higher-order abstract syntax provides a convenient way of embedding domain-specific languages, but is awkward to analyse and manipulate directly. We explore the boundaries of higher-order abstract syntax. Our key tool is the unembedding of embedded terms as de Bruijn terms, enabling intensional analysis. As part of our solution we present techniques for separating the definition of an embedded program from its interpretation, giving modular extensions of the embedded language, and different ways to encode the types of the embedded language.
引用
收藏
页码：37 / 48
页数：12
相关论文
共 50 条
  • [21] Towards a Systematic Engineering of Industrial Domain-Specific Languages
    Gupta, Rohit
    Kranz, Sieglinde
    Regnat, Nikolaus
    Rumpe, Bernhard
    Wortmann, Andreas
    2021 IEEE/ACM 8TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING RESEARCH AND INDUSTRIAL PRACTICE (SER&IP 2021), 2021, : 49 - 56
  • [22] A generator framework for domain-specific model transformation languages
    Reiter, T.
    Kapsammer, E.
    Retschitzegger, W.
    Schwinger, W.
    Stumptner, M.
    ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 27 - +
  • [23] Really Embedding Domain-Specific Languages into C plus
    Finkel, Hal
    McCaskey, Alexander
    Popoola, Tobi
    Lyakh, Dmitry
    Doerfert, Johannes
    PROCEEDINGS OF SIXTH WORKSHOP ON THE LLVM COMPILER INFRASTRUCTURE IN HPC AND WORKSHOP ON HIERARCHICAL PARALLELISM FOR EXASCALE COMPUTING (LLVM-HPC2020 AND HIPAR 2020), 2020, : 65 - 73
  • [24] Practicing Domain-Specific Languages: From Code to Models
    Gonnord, Laure
    Mosser, Sebastien
    21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS (MODELS-COMPANION '18), 2018, : 106 - 113
  • [25] Combining deep and shallow embedding of domain-specific languages
    Svenningsson, Josef
    Axelsson, Emil
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2015, 44 : 143 - 165
  • [26] IMPLEMENTING DOMAIN-SPECIFIC LANGUAGES FOR HETEROGENEOUS PARALLEL COMPUTING
    Lee, HyoukJoong
    Brown, Kevin J.
    Sujeeth, Arvind K.
    Chafi, Hassan
    Olukotun, Kunle
    Rompf, Tiark
    Odersky, Martin
    IEEE MICRO, 2011, 31 (05) : 42 - 52
  • [27] Embedding domain-specific modelling languages in Maude specifications
    Vlad Rusu
    Software & Systems Modeling, 2013, 12 : 847 - 869
  • [28] A Python']Python Tool for the Implementation of Domain-Specific Languages
    Dejanovic, Igor
    Vaderna, Renata
    Milosavljevic, Gordana
    Simic, Milos
    Vukovic, Zeljko
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), 2017, 1863
  • [29] Blockchain Domain-Specific Languages: Survey, Classification, and Comparison
    Alam, Md Tauseef
    Chowdhury, Sujit
    Halder, Raju
    Maiti, Abyayananda
    2021 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2021), 2021, : 499 - 504
  • [30] Xbase: Implementing Domain-Specific Languages for Java']Java
    Efftinge, Sven
    Eysholdt, Moritz
    Koehnlein, Jan
    Zarnekow, Sebastian
    Hasselbring, Wilhelm
    von Massow, Robert
    Hanus, Michael
    ACM SIGPLAN NOTICES, 2013, 48 (03) : 112 - 121
12345