Higher-order lazy functional slicing

Bibliographic Details
Main Author: F. Rodrigues, Nuno
Publication Date: 2007
Other Authors: Barbosa, Luís S.
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/11110/483
Summary: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced
id RCAP_6ce19c31100cda0f4e85217f30fe4c70
oai_identifier_str oai:ciencipca.ipca.pt:11110/483
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Higher-order lazy functional slicingProgram slicingfunctional programmingprogram analysisProgram slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introducedJournal of Universal Computer Science2013-12-18T19:10:50Z2007-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/11110/483oai:ciencipca.ipca.pt:11110/483eng0958695Xhttp://hdl.handle.net/11110/483metadata only accessinfo:eu-repo/semantics/openAccessF. Rodrigues, NunoBarbosa, Luís S.reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2022-09-05T12:52:05Zoai:ciencipca.ipca.pt:11110/483Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T10:01:43.068145Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Higher-order lazy functional slicing
title Higher-order lazy functional slicing
spellingShingle Higher-order lazy functional slicing
F. Rodrigues, Nuno
Program slicing
functional programming
program analysis
title_short Higher-order lazy functional slicing
title_full Higher-order lazy functional slicing
title_fullStr Higher-order lazy functional slicing
title_full_unstemmed Higher-order lazy functional slicing
title_sort Higher-order lazy functional slicing
author F. Rodrigues, Nuno
author_facet F. Rodrigues, Nuno
Barbosa, Luís S.
author_role author
author2 Barbosa, Luís S.
author2_role author
dc.contributor.author.fl_str_mv F. Rodrigues, Nuno
Barbosa, Luís S.
dc.subject.por.fl_str_mv Program slicing
functional programming
program analysis
topic Program slicing
functional programming
program analysis
description Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced
publishDate 2007
dc.date.none.fl_str_mv 2007-01-01T00:00:00Z
2013-12-18T19:10:50Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/11110/483
oai:ciencipca.ipca.pt:11110/483
url http://hdl.handle.net/11110/483
identifier_str_mv oai:ciencipca.ipca.pt:11110/483
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0958695X
http://hdl.handle.net/11110/483
dc.rights.driver.fl_str_mv metadata only access
info:eu-repo/semantics/openAccess
rights_invalid_str_mv metadata only access
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Journal of Universal Computer Science
publisher.none.fl_str_mv Journal of Universal Computer Science
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833590386211160064

Similar Items