RepliComment: Identifying Clones in Code Comments

Autor: Alessandra Gorla, Arianna Blasi, Oscar Nierstrasz, Nataliia Stulova

Publikováno v: Blasi, Arianna; Stulova, Nataliia; Gorla, Alessandra; Nierstrasz, Oscar (2021). RepliComment: Identifying Clones in Code Comments. Journal of systems and software, 182, p. 111069. Elsevier 10.1016/j.jss.2021.111069

Code comments are the primary means to document implementation and facilitate program comprehension. Thus, their quality should be a primary concern to improve program maintenance. While much effort has been dedicated to detecting bad smells, such as

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e2deb8179e6ade60e86b914dcdde408d
http://arxiv.org/abs/2108.11205

Towards Detecting Inconsistent Comments in Java Source Code Automatically

Autor: Arianna Blasi, Alessandra Gorla, Nataliia Stulova, Oscar Nierstrasz

Publikováno v: SCAM

A number of tools are available to software developers to check consistency of source code during software evolution. However, none of these tools checks for consistency of the documentation accompanying the code. As a result, code and documentation

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce383a3c57e7d46ef0c19075c81a2848
https://doi.org/10.1109/scam51674.2020.00012

Exploiting term hiding to reduce run-time checking overhead

Autor: Nataliia Stulova, Manuel V. Hermenegildo, José F. Morales

Publikováno v: Practical Aspects of Declarative Languages | 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018) | 08-09 Jan 2018 | Los Angeles
Archivo Digital UPM
instname
Practical Aspects of Declarative Languages ISBN: 9783319733043
PADL

One of the most attractive features of untyped languages is the flexibility in term creation and manipulation. However, with such power comes the responsibility of ensuring the correctness of these operations. A solution is adding run-time checks to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9bdbda36a3100705d5489348cb7887da
https://oa.upm.es/52854/

Reducing the overhead of assertion run-time checks via static analysis

Autor: Manuel V. Hermenegildo, Nataliia Stulova, José F. Morales

Publikováno v: PPDP '16: proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming | 18th International Symposium on Principles and Practice of Declarative Programming (PPDP'16) | 05-07 Sep 2016 | Edimburgo, Reino Unido
Archivo Digital UPM
instname
PPDP

In order to aid in the process of detecting incorrect pro- gram behaviors, a number of approaches have been proposed which include a combination of language-level constructs (such as procedure-level assertions/contracts, program-point assertions, gra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8562e19275f1c01baf9596dac19a6503
http://oa.upm.es/52861/

Assertion-based debugging of higher-order (C)LP programs

Autor: Manuel V. Hermenegildo, Nataliia Stulova, José F. Morales

Publikováno v: PPDP,14: proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming | 16th International Symposium on Principles and Practice of Declarative Programming | 08-10 Sep 2014 | Canterbury, Reino Unido
Archivo Digital UPM
instname
PPDP

Higher-order constructs extend the expressiveness of firstorder (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been in use for some time in (C)LP systems helping programmers detect errors

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e16bd4eeb388cead52aeae0d5ca0d9c4
https://oa.upm.es/52860/