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 条
  • [31] DOMAIN-SPECIFIC LANGUAGES FOR AGILE URBAN POLICY MODELLING
    Kraemer, Michel
    Ludlow, David
    Khan, Zaheer
    PROCEEDINGS 27TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2013, 2013, : 673 - +
  • [32] Experimental Comparison of Editor Types for Domain-Specific Languages
    Chodarev, Sergej
    Sulir, Matus
    Poruban, Jaroslav
    Kopcakova, Martina
    APPLIED SCIENCES-BASEL, 2022, 12 (19):
  • [33] Interoperable domain-specific languages families for code generation
    Malohlava, Michal
    Plasil, Frantisek
    Bures, Tomas
    Hnetynka, Petr
    SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (05) : 479 - 499
  • [34] Embedding domain-specific modelling languages in Maude specifications
    Rusu, Vlad
    SOFTWARE AND SYSTEMS MODELING, 2013, 12 (04) : 847 - 869
  • [35] The Impact of Domain-Specific Languages for Assembling Web Applications
    Nussbaumer, Martin
    Freudenstein, Patrick
    Gaedke, Martin
    ENGINEERING LETTERS, 2006, 13 (03)
  • [36] Towards Domain-specific Flow-based Languages
    Zarrin, Bahram
    Baumeister, Hubert
    Sarjoughian, Hessam
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 319 - 325
  • [37] Producing Domain-Specific Languages from Strategy Patterns
    Kihlman, Ludvig
    2015 7TH COMPUTER SCIENCE AND ELECTRONIC ENGINEERING CONFERENCE (CEEC), 2015, : 9 - 12
  • [38] Corpus-based analysis of domain-specific languages
    Tairas, Robert
    Cabot, Jordi
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (02) : 889 - 904
  • [39] Corpus-based analysis of domain-specific languages
    Robert Tairas
    Jordi Cabot
    Software & Systems Modeling, 2015, 14 : 889 - 904
  • [40] On concept-based definition of domain-specific languages
    Liu, Y
    Zhang, NX
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 237 - 248
12345