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 Languages and Program Generation with Meta-AspectJ
    Huang, Shan Shan
    Zook, David
    Smaragdakis, Yannis
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2008, 18 (02)
  • [42] Generative Program Analysis and Beyond: The Power of Domain-Specific Languages
    Steffen, Bernhard
    Murtovi, Alnis
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 29 - 51
  • [43] Measuring the complexity of domain-specific languages developed using MDD
    Slivnik, Bostjan
    SOFTWARE QUALITY JOURNAL, 2016, 24 (03) : 737 - 753
  • [44] Domain-specific Languages for the Design, Deployment and Manipulation of Heterogeneous Databases
    Kolovos, Dimitrios S.
    Medhat, Fady
    Paige, Richard F.
    Di Ruscio, Davide
    van der Storm, Tijs
    Scholze, Sebastian
    Zolotas, Athanasios
    2019 IEEE/ACM 11TH INTERNATIONAL WORKSHOP ON MODELLING IN SOFTWARE ENGINEERING (MISE 2019), 2019, : 89 - 92
  • [45] ViSlang: A System for Interpreted Domain-Specific Languages for Scientific Visualization
    Rautek, Peter
    Bruckner, Stefan
    Groeller, M. Eduard
    Hadwiger, Markus
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2014, 20 (12) : 2388 - 2396
  • [46] Efficient development and reuse of domain-specific languages for automation systems
    Preschern, Christopher
    Kajtazovic, Nermin
    Kreiner, Christian
    International Journal of Metadata, Semantics and Ontologies, 2014, 9 (03) : 215 - 226
  • [47] On the appropriateness of domain-specific languages derived from different metamodels
    Rozanc, Igor
    Slivnik, Bostjan
    2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2014, : 190 - 195
  • [48] Domain-Specific Languages for Developing and Deploying Signature Discovery Workflows
    Jacob, Ferosh
    Wynne, Adam
    Liu, Yan
    Gray, Jeff
    COMPUTING IN SCIENCE & ENGINEERING, 2014, 16 (01) : 52 - 64
  • [49] On the use of LLMs to support the development of domain-specific modeling languages
    Di Sipio, Claudio
    Rubei, Riccardo
    Di Rocco, Juri
    Di Ruscio, Davide
    Iovino, Ludovico
    ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, 2024, : 596 - 601
  • [50] Domain-Specific Programming Languages for Computational Nucleic Acid Systems
    Lakin, Matthew R.
    Phillips, Andrew
    ACS SYNTHETIC BIOLOGY, 2020, 9 (07): : 1499 - 1513
12345