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] A Taxonomy of Domain-Specific Aspect Languages
    Fabry, Johan
    Dinkelaker, Tom
    Noye, Jacques
    Tanter, Eric
    ACM COMPUTING SURVEYS, 2015, 47 (03)
  • [12] Domain-specific languages: An annotated bibliography
    van Deursen, A
    Klint, P
    Visser, J
    ACM SIGPLAN NOTICES, 2000, 35 (06) : 26 - 36
  • [13] Contracts for Domain-Specific Languages in Ruby
    Strickland, T. Stephen
    Ren, Brianna M.
    Foster, Jeffrey S.
    ACM SIGPLAN NOTICES, 2015, 50 (02) : 23 - 34
  • [14] Usability Evaluation of Domain-Specific Languages
    Barisic, Ankica
    Amaral, Vasco
    Goulao, Miguel
    2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), 2012, : 342 - 347
  • [15] A Pedagogical Framework for Domain-Specific Languages
    Fowler, Martin
    IEEE SOFTWARE, 2009, 26 (04) : 13 - 14
  • [16] Program Comprehension for Domain-Specific Languages
    Varanda Pereira, Maria Joao
    Mernik, Marjan
    da Cruz, Daniela
    Henriques, Pedro Rangel
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2008, 5 (02) : 1 - 17
  • [17] Functional Programming for Domain-Specific Languages
    Gibbons, Jeremy
    CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, CEFP 2013, 2015, 8606 : 1 - 28
  • [18] Defining and Using Domain-Specific Languages
    Lyytinen, Kalle
    Welke, Richard
    IEEE SOFTWARE, 2010, 27 (01) : 8 - 8
  • [19] Unit Testing for Domain-Specific Languages
    Wu, Hui
    Gray, Jeff
    Mernik, Marjan
    DOMAIN-SPECIFIC LANGUAGES, PROCEEDINGS, 2009, 5658 : 125 - +
  • [20] Domain-Specific Languages for Enterprise Systems
    Andersen, Jesper
    Bahr, Patrick
    Henglein, Fritz
    Hvitved, Tom
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 73 - 95
12345