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] Domain-specific modeling with visual languages - Preface
    Gray, J
    Rossi, M
    Tolvanen, JP
    [J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2004, 15 (3-4): : 207 - 209
  • [42] Ontology Driven Development of Domain-Specific Languages
    Ceh, Ines
    Crepinsek, Matej
    Kosar, Tomaz
    Mernik, Marjan
    [J]. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2011, 8 (02) : 317 - 342
  • [43] Domain-Specific Languages: A Systematic Mapping Study
    Mernik, Marjan
    [J]. SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 : 464 - 472
  • [44] Heuristic Evaluation Checklist for Domain-specific Languages
    Poltronieri, Ildevana
    Zorzo, Avelino Francisco
    Bernardino, Maicon
    Medeiros, Bruno
    Campos, Marcia de Borba
    [J]. HUCAPP: PROCEEDINGS OF THE 16TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS - VOL. 2: HUCAPP, 2021, : 37 - 48
  • [45] 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
    [J]. ECOOP 2013 - OBJECT-ORIENTED PROGRAMMING, 2013, 7920 : 52 - 78
  • [46] Describing Variability with Domain-Specific Languages and Models
    Tolvanen, Juha-Pekka
    Kelly, Steven
    [J]. SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2020, : 329 - 329
  • [47] A framework for qualitative assessment of domain-specific languages
    Kahraman, Gokhan
    Bilgen, Semih
    [J]. SOFTWARE AND SYSTEMS MODELING, 2015, 14 (04): : 1505 - 1526
  • [48] An approach for the systematic development of domain-specific languages
    Strembeck, Mark
    Zdun, Uwe
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2009, 39 (15): : 1253 - 1292
  • [49] UML customization versus domain-specific languages
    Jeff Gray
    Bernhard Rumpe
    [J]. Software & Systems Modeling, 2018, 17 : 713 - 714
  • [50] Notable design patterns for domain-specific languages
    Spinellis, D
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2001, 56 (01) : 91 - 99
12345