Incremental and Modular Context-sensitive Analysis

Autor: Manuel V. Hermenegildo, José F. Morales, Isabel Garcia-Contreras

Publikováno v: Theory and Practice of Logic Programming, ISSN 1475-3081, 2021, Vol. 21, No. 2
HCVS 2021 : Horn Clauses for Verification and Synthesis | 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS) | 28 Mar 2021 | Luxemburgo
Archivo Digital UPM
Universidad Politécnica de Madrid
instname

Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many situations in which modifications are small and isolated within a few components, and it i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::226bdf901f3141c189c8f02f7dbdc3fd
https://doi.org/10.1017/s1471068420000496

VeriFly: On-the-fly Assertion Checking via Incrementality

Autor: Manuel V. Hermenegildo, Miguel A. Sanchez-Ordaz, José F. Morales, Victor Perez-Carrasco, Isabel Garcia-Contreras, Pedro López-García

Publikováno v: Theory and Practice of Logic Programming, ISSN 1475-3081, 2021, Vol. 21, No. 6
Archivo Digital UPM
instname

Assertion checking is an invaluable programmer's tool for finding many classes of errors or verifying their absence in dynamic languages such as Prolog. For Prolog programmers this means being able to have relevant properties such as modes, types, de

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

Incremental analysis of logic programs with assertions and open predicates

Autor: José F. Morales, Isabel Garcia-Contreras, Manuel V. Hermenegildo

Publikováno v: Incremental analysis of logic programs with assertions and open predicates | En: Logic-Based Program Synthesis and Transformation | pag. 36-56 | Springer | 2019
Archivo Digital UPM
instname
Logic-Based Program Synthesis and Transformation | 29th International Symposium on Logic-Based Program Synthesis and Transformation ( LOPSTR 2019) | 8-10 Oct 2019 | Oporto, Portugal
Universidad Politécnica de Madrid
Logic-Based Program Synthesis and Transformation ISBN: 9783030452599
LOPSTR

Generic components represent a further abstraction over the concept of modules, which introduces dependencies on other (not necessarily available) components implementing specified interfaces. It has become a key concept in large and complex software

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::98324b62b2d65b3443efaa35d75e6066
http://oa.upm.es/63681/

Semantic Code Browsing

Autor: José F. Morales, Isabel Garcia-Contreras, Manuel V. Hermenegildo

Publikováno v: Theory and Practice of Logic Programming, ISSN 1471-0684, 2016, Vol. 16, No. 5-6
Archivo Digital UPM
instname

Programmers currently enjoy access to a very high number of code repositories and libraries of ever increasing size. The ensuing potential for reuse is however hampered by the fact that searching within all this code becomes an increasingly difficult

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