Zobrazeno 1 - 10
of 276
pro vyhledávání: '"Hermenegildo, Manuel V."'
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
Publikováno v:
EPTCS 385, 2023, pp. 324-329
Active Logic Documents (ALD) are web pages which incorporate embedded Prolog engines that run locally within the browser. ALD offers both a very easy way to add click-to-run capabilities to any kind of teaching materials, independently of the tool us
Externí odkaz:
http://arxiv.org/abs/2308.15896
Autor:
Körner, Philipp, Leuschel, Michael, Barbosa, João, Costa, Vítor Santos, Dahl, Verónica, Hermenegildo, Manuel V., Morales, Jose F., Wielemaker, Jan, Diaz, Daniel, Abreu, Salvador, Ciatto, Giovanni
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supporte
Externí odkaz:
http://arxiv.org/abs/2201.10816
Autor:
Dovier, Agostino, Formisano, Andrea, Gupta, Gopal, Hermenegildo, Manuel V., Pontelli, Enrico, Rocha, Ricardo
Multi-core and highly-connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming has been recognized as a programming p
Externí odkaz:
http://arxiv.org/abs/2111.11218
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:
De Angelis, Emanuele, Fioravanti, Fabio, Gallagher, John P., Hermenegildo, Manuel V., Pettorossi, Alberto, Proietti, Maurizio
This paper surveys recent work on applying analysis and transformation techniques that originate in the field of constraint logic programming (CLP) to the problem of verifying software systems. We present specialisation-based techniques for translati
Externí odkaz:
http://arxiv.org/abs/2108.00739
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
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