Modular Design of Domain-Specific Languages using Splittings of Catamorphisms

Eric Badouel 1 Rodrigue Djeumen Djatcha 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Language oriented programming is an approach to software composition based on domain specific languages (DSL) dedicated to specific aspects of an application domain. In order to combine such languages we embed them into a host language (namely Haskell, a strongly typed higher-order lazy functional language). A DSL is then given by an algebraic type, whose operators are the constructors of abstract syntax trees. Such a multi-sorted signature is associated to a polynomial functor. An algebra for this functor tells us how to interpret the programs. Using Beki´cBeki´c's Theorem we define a modular decomposition of algebras that leads to a class of parametric multi-sorted signatures, associated with regular functors, allowing for the modular design of DSLs.
Type de document :
Communication dans un congrès
Bernd Fischer and Tarmo Uustalu. ICTAC 2018 - 15th International Colloquium on the Theoretical Aspects of Computing, Oct 2018, Stellenbosch, South Africa. Springer, 11187, pp.62-79, 2018, LNCS. 〈10.1007/978-3-030-02508-3_4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01919423
Contributeur : Eric Badouel <>
Soumis le : lundi 12 novembre 2018 - 14:12:31
Dernière modification le : jeudi 7 février 2019 - 17:21:25
Document(s) archivé(s) le : mercredi 13 février 2019 - 14:40:19

Fichier

BadouelDjeumen.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Eric Badouel, Rodrigue Djeumen Djatcha. Modular Design of Domain-Specific Languages using Splittings of Catamorphisms. Bernd Fischer and Tarmo Uustalu. ICTAC 2018 - 15th International Colloquium on the Theoretical Aspects of Computing, Oct 2018, Stellenbosch, South Africa. Springer, 11187, pp.62-79, 2018, LNCS. 〈10.1007/978-3-030-02508-3_4〉. 〈hal-01919423〉

Partager

Métriques

Consultations de la notice

52

Téléchargements de fichiers

13