Utilize este identificador para referenciar este registo: http://hdl.handle.net/1822/6470

TítuloProgram slicing by calculation
Autor(es)Barbosa, L. S.
Rodrigues, Nuno F.
Formal methods
functional programming
program slicing
program analysis
EditoraGraz University of Technology. Institut für Informationssysteme und Computer Medien
RevistaJournal of Universal Computer Science
Citação"Journal of universal computer science". 12:7 (2006) 828-848.
Resumo(s)Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperatice or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies' structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs
Aparece nas coleções:DI/CCTC - Artigos (papers)
HASLab - Artigos em revistas internacionais

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
RB06_lsb.pdfDocumento principal210,46 kBAdobe PDFVer/Abrir

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu Currículo DeGóis