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 条
  • [1] Domain-specific model differencing for graphical domain-specific languages
    Jafarlou, Manouchehr Zadahmad
    [J]. ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 205 - 208
  • [2] On domain-specific languages reengineering
    Alias, C
    Barthou, D
    [J]. GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, 2005, 3676 : 63 - 77
  • [3] On the Globalization of Domain-Specific Languages
    Cheng, Betty H. C.
    Combemale, Benoit
    France, Robert B.
    Jezequel, Jean-Marc
    Rumpe, Bernhard
    [J]. GLOBALIZING DOMAIN-SPECIFIC LANGUAGES, 2015, 9400 : 1 - 6
  • [4] Macros for Domain-Specific Languages
    Ballantyne, Michael
    King, Alexis
    Felleisen, Matthias
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4
  • [5] DSMCompare: domain-specific model differencing for graphical domain-specific languages
    Manouchehr Zadahmad
    Eugene Syriani
    Omar Alam
    Esther Guerra
    Juan de Lara
    [J]. Software and Systems Modeling, 2022, 21 : 2067 - 2096
  • [6] DSMCompare: domain-specific model differencing for graphical domain-specific languages
    Zadahmad, Manouchehr
    Syriani, Eugene
    Alam, Omar
    Guerra, Esther
    de Lara, Juan
    [J]. SOFTWARE AND SYSTEMS MODELING, 2022, 21 (05): : 2067 - 2096
  • [7] Untangling Crosscutting Concerns in Domain-specific Languages with Domain-specific Join Points
    Dinkelaker, Tom
    Monperrus, Martin
    Mezini, Mira
    [J]. DSAL09: DOMAIN-SPECIFIC ASPECT LANGUAGES, 2009, : 1 - 5
  • [8] Domain-Specific Languages in Scientific Computing
    Hinsen, Konrad
    [J]. COMPUTING IN SCIENCE & ENGINEERING, 2018, 20 (01) : 88 - 92
  • [9] Compositional Embeddings of Domain-Specific Languages
    Sun, Yaozhu
    Dhandhania, Utkarsh
    Oliveira, Bruno C. D. S.
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
  • [10] A Taxonomy of Domain-Specific Aspect Languages
    Fabry, Johan
    Dinkelaker, Tom
    Noye, Jacques
    Tanter, Eric
    [J]. ACM COMPUTING SURVEYS, 2015, 47 (03)
12345