Zobrazeno 1 - 10
of 153
pro vyhledávání: '"López García, Pedro A."'
Variable sharing is a fundamental property in the static analysis of logic programs, since it is instrumental for ensuring correctness and increasing precision while inferring many useful program properties. Such properties include modes, determinacy
Externí odkaz:
http://arxiv.org/abs/2408.09848
Recurrence equations have played a central role in static cost analysis, where they can be viewed as abstractions of programs and used to infer resource usage information without actually running the programs with concrete data. Such information is t
Externí odkaz:
http://arxiv.org/abs/2406.18260
Automatic static cost analysis infers information about the resources used by programs without actually running them with concrete data, and presents such information as functions of input data sizes. Most of the analysis tools for logic programs (an
Externí odkaz:
http://arxiv.org/abs/2405.06972
Publikováno v:
EPTCS 385, 2023, pp. 155-168
Automatic static cost analysis infers information about the resources used by programs without actually running them with concrete data, and presents such information as functions of input data sizes. Most of the analysis tools for logic programs (an
Externí odkaz:
http://arxiv.org/abs/2309.07259
Autor:
Kafle, Bishoksan, Gallagher, John P., Hermenegildo, Manuel V., Klemen, Maximiliano, López-García, Pedro, Morales, José F.
Publikováno v:
EPTCS 344, 2021, pp. 22-35
A well-established approach to reasoning about loops during program analysis is to capture the effect of a loop by extracting recurrences from the loop; these express relationships between the values of variables, or program properties such as cost,
Externí odkaz:
http://arxiv.org/abs/2109.04631
Autor:
Sanchez-Ordaz, Miguel A., Garcia-Contreras, Isabel, Perez-Carrasco, Victor, Morales, Jose F., lopez-Garcia, Pedro, Hermenegildo, Manuel V.
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:
http://arxiv.org/abs/2106.07045
Autor:
López García, Pedro A.1, Argote Espino, Denisse L.2, Uriarte Torres, Alejandro J.2, Pérez Alcántara, Ivonne A.3, Cifuentes Nava, Gerardo4 efenfi@gmail.com
Publikováno v:
Boletín de la Sociedad Geológica Mexicana. 2024, Vol. 76 Issue 2, p1-24. 24p.
Abstract interpretation is a well-established technique for performing static analyses of logic programs. However, choosing the abstract domain, widening, fixpoint, etc. that provides the best precision-cost trade-off remains an open problem. This is
Externí odkaz:
http://arxiv.org/abs/1907.13263
Autor:
Klemen, Maximiliano, Lopez-Garcia, Pedro, Gallagher, John P., Morales, Jose F., Hermenegildo, Manuel V.
The estimation and control of resource usage is now an important challenge in an increasing number of computing systems. In particular, requirements on timing and energy arise in a wide variety of applications such as internet of things, cloud comput
Externí odkaz:
http://arxiv.org/abs/1907.13272
Publikováno v:
In Journal of Archaeological Science: Reports June 2023 49