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 条
  • [11] Domain-Specific Languages: A Systematic Mapping Study
    Kosar, Tomaz
    Bohra, Sudev
    Mernik, Marjan
    INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 71 : 77 - 91
  • [12] Domain-Specific Languages in a Customs Information System
    Freudenthal, Margus
    IEEE SOFTWARE, 2010, 27 (02) : 65 - 71
  • [13] A framework for qualitative assessment of domain-specific languages
    Gökhan Kahraman
    Semih Bilgen
    Software & Systems Modeling, 2015, 14 : 1505 - 1526
  • [14] A framework for qualitative assessment of domain-specific languages
    Kahraman, Gokhan
    Bilgen, Semih
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (04) : 1505 - 1526
  • [15] Tree Based Domain-Specific Mapping Languages
    Kalnina, Elina
    Kalnins, Audris
    Sostaks, Agris
    Celms, Edgars
    Iraids, Janis
    SOFSEM 2012: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2012, 7147 : 492 - 504
  • [16] Usability Heuristics for Domain-Specific Languages (DSLs)
    Mosqueira-Rey, Eduardo
    Alonso-Rios, David
    PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 1340 - 1343
  • [17] Modernizing Domain-Specific Languages with XMLText and IntellEdit
    Neubauer, Patrick
    Bill, Robert
    Wimmer, Manuel
    2017 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER), 2017, : 565 - 566
  • [18] Bringing Domain-Specific Languages to Digital Forensics
    van den Bos, Jeroen
    van der Storm, Tijs
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 671 - 680
  • [19] An approach for the systematic development of domain-specific languages
    Strembeck, Mark
    Zdun, Uwe
    SOFTWARE-PRACTICE & EXPERIENCE, 2009, 39 (15) : 1253 - 1292
  • [20] Notable design patterns for domain-specific languages
    Spinellis, D
    JOURNAL OF SYSTEMS AND SOFTWARE, 2001, 56 (01) : 91 - 99
12345