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 条
  • [41] When and how to develop domain-specific languages
    Mernik, M
    Heering, J
    Sloane, AM
    ACM COMPUTING SURVEYS, 2005, 37 (04) : 316 - 344
  • [42] Conceptual Model of the Globalization for Domain-Specific Languages
    Clark, Tony
    van den Brand, Mark
    Combemale, Benoit
    Rumpe, Bernhard
    GLOBALIZING DOMAIN-SPECIFIC LANGUAGES, 2015, 9400 : 7 - 20
  • [43] Describing Variability with Domain-Specific Languages and Models
    Tolvanen, Juha-Pekka
    Kelly, Steven
    SPLC '21: PROCEEDINGS OF THE 25TH ACM INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2021,
  • [44] Domain-Specific Languages: A Systematic Mapping Study
    Kosar, Tomaz
    Bohra, Sudev
    Mernik, Marjan
    INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 71 : 77 - 91
  • [45] Domain-Specific Languages in a Customs Information System
    Freudenthal, Margus
    IEEE SOFTWARE, 2010, 27 (02) : 65 - 71
  • [46] A framework for qualitative assessment of domain-specific languages
    Kahraman, Gokhan
    Bilgen, Semih
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (04): : 1505 - 1526
  • [47] Heuristic Evaluation Checklist for Domain-specific Languages
    Poltronieri, Ildevana
    Zorzo, Avelino Francisco
    Bernardino, Maicon
    Medeiros, Bruno
    Campos, Marcia de Borba
    HUCAPP: PROCEEDINGS OF THE 16TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS - VOL. 2: HUCAPP, 2021, : 37 - 48
  • [48] Composition and Reuse with Compiled Domain-Specific Languages
    Sujeeth, Arvind K.
    Rompf, Tiark
    Brown, Kevin J.
    Lee, HyoukJoong
    Chafi, Hassan
    Popic, Victoria
    Wu, Michael
    Prokopec, Aleksandar
    Jovanovic, Vojin
    Odersky, Martin
    Olukotun, Kunle
    ECOOP 2013 - OBJECT-ORIENTED PROGRAMMING, 2013, 7920 : 52 - 78
  • [49] Describing Variability with Domain-Specific Languages and Models
    Tolvanen, Juha-Pekka
    Kelly, Steven
    SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2020, : 329 - 329
  • [50] An approach for the systematic development of domain-specific languages
    Strembeck, Mark
    Zdun, Uwe
    SOFTWARE-PRACTICE & EXPERIENCE, 2009, 39 (15): : 1253 - 1292
12345