License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SLATE.2012.51
URN: urn:nbn:de:0030-drops-35149
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3514/
Go to the corresponding OASIcs Volume Portal

Martins, Pedro ; Fernandes, João Paulo ; Saraiva, João

A Purely Functional Combinator Language for Software Quality Assessment

pdf-format:
7.pdf (0.5 MB)

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.

BibTeX - Entry

@InProceedings{martins_et_al:OASIcs:2012:3514,
  author =	{Pedro Martins and Jo{\~a}o Paulo Fernandes and Jo{\~a}o Saraiva},
  title =	{{A Purely Functional Combinator Language for Software Quality Assessment}},
  booktitle =	{1st Symposium on Languages, Applications and Technologies},
  pages =	{51--69},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-40-8},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{21},
  editor =	{Alberto Sim{\~o}es and Ricardo Queir{\'o}s and Daniela da Cruz},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3514},
  URN =		{urn:nbn:de:0030-drops-35149},
  doi =		{10.4230/OASIcs.SLATE.2012.51},
  annote =	{Keywords: Process Management, Combinators, Attribute Grammars, Functional Programming}
}

Keywords: Process Management, Combinators, Attribute Grammars, Functional Programming
Collection: 1st Symposium on Languages, Applications and Technologies
Issue Date: 2012
Date of publication: 21.06.2012

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI