Reusable Components for Lightweight Mechanisation of Programming Languages

Abstract : Implementing Programming Languages (PLs) has always been a challenge for various reasons. One reason is the excess of routine tasks to be redone on every implementation cycle. This is despite the remarkable fraction of syntax and semantics usually shared between successive cycles. In this paper, we present a component-based approach to avoid reimplementation of shared PL fractions. We provide two sets of reusable components; one for syntax implementation and another for semantics. Our syntax and semantics components correspond to syntactic categories and semantics rules of a PL specification, respectively. We show how, in addition to their service to reusability in syntax and semantics, our components can cater reusable implementation of PL analyses.Our current level of experimentation suggests that this approach is applicable wherever the following two features are available or can be simulated: Type Constraints and Multiple Inheritance. Implementing a PL using our approach, however, requires some modest programming discipline that we will explain throughout the text.
Type de document :
Communication dans un congrès
Walter Binder; Eric Bodden; Welf Löwe. 12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. Springer, Lecture Notes in Computer Science, LNCS-8088, pp.1-16, 2013, Software Composition. 〈10.1007/978-3-642-39614-4_1〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01492773
Contributeur : Hal Ifip <>
Soumis le : lundi 20 mars 2017 - 15:34:50
Dernière modification le : mardi 16 janvier 2018 - 15:43:54
Document(s) archivé(s) le : mercredi 21 juin 2017 - 13:16:03

Fichier

978-3-642-39614-4_1_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Seyed Haeri, Sibylle Schupp. Reusable Components for Lightweight Mechanisation of Programming Languages. Walter Binder; Eric Bodden; Welf Löwe. 12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. Springer, Lecture Notes in Computer Science, LNCS-8088, pp.1-16, 2013, Software Composition. 〈10.1007/978-3-642-39614-4_1〉. 〈hal-01492773〉

Partager

Métriques

Consultations de la notice

50

Téléchargements de fichiers

17