A Purely Functional Combinator Language for Software Quality Assessment

Pedro Martins, João P. Fernandes, João Saraiva

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Quality assessment of open source software is becoming an important and active research area. One of the reasons for this recent interest is the consequence of Internet popularity. Nowadays, programming also involves looking for the large set of open source libraries and tools that may be reused when developing our software applications. In order to reuse such open source software artifacts, programmers not only need the guarantee that the reused artifact is certified, but also that independently developed artifacts can be easily combined into a coherent piece of software. In this paper we describe a domain specific language that allows programmers to describe in an abstract level how software artifacts can be combined into powerful software certification processes. This domain specific language is the building block of a web-based, open-source software certification portal. This paper introduces the embedding of such domain specific language as combinator library written in the Haskell programming language. The semantics of this language is expressed via attribute grammars that are embedded in Haskell, which provide a modular and incremental setting to define the combination of software artifacts.

Original languageEnglish (US)
Title of host publication1st Symposium on Languages, Applications and Technologies, SLATE 2012
EditorsAlberto Simoes, Ricardo Queiros, Daniela da Cruz
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages51-69
Number of pages19
ISBN (Electronic)9783939897408
DOIs
StatePublished - Jun 1 2012
Event1st Symposium on Languages, Applications and Technologies, SLATE 2012 - Braga, Portugal
Duration: Jun 21 2012Jun 22 2012

Publication series

NameOpenAccess Series in Informatics
Volume21
ISSN (Print)2190-6807

Conference

Conference1st Symposium on Languages, Applications and Technologies, SLATE 2012
Country/TerritoryPortugal
CityBraga
Period6/21/126/22/12

Keywords

  • Attribute Grammars
  • Combinators
  • Functional Programming
  • Process Management

ASJC Scopus subject areas

  • Geography, Planning and Development
  • Modeling and Simulation

Fingerprint

Dive into the research topics of 'A Purely Functional Combinator Language for Software Quality Assessment'. Together they form a unique fingerprint.

Cite this