Frameworks compiled from declarations: a language-independent approach

Paul Van Der Walt 1 Charles Consel 1, 2 Emilie Balland 3
1 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Abstract : Programming frameworks are an accepted fixture in the object-oriented world, motivated by the need for code reuse, developer guidance, and restriction. A new trend is emerging where frameworks require domain experts to provide declarations using a domain-specific language (DSL), influencing the structure and behaviour of the resulting application. These mechanisms address concerns such as user privacy. Although many popular open platforms such as Android are based on declaration-driven frameworks, current implementations provide ad hoc and narrow solutions to concerns raised by their openness to non-certified developers. Most widely used frameworks fail to address serious privacy leaks, and provide the user with little insight into application behaviour. To address these shortcomings, we show that declaration-driven frameworks can limit privacy leaks, as well as guide developers, independently from the underlying programming paradigm. To do so, we identify concepts that underlie declaration-driven frameworks, and apply them systematically to both an object-oriented language, Java, and a dynamic functional language, Racket. The resulting programming framework generators are used to develop a prototype mobile application, illustrating how we mitigate a common class of privacy leaks. Finally, we explore the possible design choices and propose development principles for developing domain-specific language compilers to produce frameworks, applicable across a spectrum of programming paradigms.
Type de document :
Article dans une revue
Software: Practice and Experience, Wiley, 2016, <10.1002/spe.2417>
Liste complète des métadonnées


https://hal.inria.fr/hal-01236352
Contributeur : Paul Van Der Walt <>
Soumis le : mardi 19 avril 2016 - 11:08:35
Dernière modification le : mercredi 8 juin 2016 - 09:14:07

Fichiers

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

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales 4.0 International License

Identifiants

Collections

Citation

Paul Van Der Walt, Charles Consel, Emilie Balland. Frameworks compiled from declarations: a language-independent approach. Software: Practice and Experience, Wiley, 2016, <10.1002/spe.2417>. <hal-01236352v2>

Partager

Métriques

Consultations de
la notice

174

Téléchargements du document

169