Search Results - "Program transformation, Logic programming"

Transformations of logic programs on infinite lists

Authors: SENNI, VALERIO PETTOROSSI, ALBERTO Proietti M. et al.

Contributors: SENNI, VALERIO PETTOROSSI, ALBERTO Proietti M. et al.

Source: Theory and practice of logic programming 10 (2010): 383–399.
info:cnr-pdr/source/autori:Pettorossi, A.; Proietti, M.; Senni, V./titolo:Transformations of Logic Programs on Infinite Lists/doi:/rivista:Theory and practice of logic programming/anno:2010/pagina_da:383/pagina_a:399/intervallo_pagine:383–399/volume:10

Subject Terms: Program Verification, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.1.6, QA75 Electronic computers. Computer science, D.2.4, Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, 0102 computer and information sciences, 02 engineering and technology, Logic programming, Program transformation, Logic programming, 01 natural sciences, Infinite Lists, Logic in Computer Science (cs.LO), Program Transformation, Program transformation, 0202 electrical engineering, electronic engineering, information engineering, F.3.1, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1007.4157
http://arxiv.org/abs/1007.4157
http://www.cnr.it/prodotto/i/7494
https://publications.cnr.it/doc/7494
https://publications.cnr.it/doc/153702
http://www.cnr.it/prodotto/i/153702
https://arxiv.org/pdf/1007.4157
https://arxiv.org/abs/1007.4157v1
http://ui.adsabs.harvard.edu/abs/2010arXiv1007.4157P/abstract
https://art.torvergata.it/handle/2108/32777
https://arxiv.org/pdf/1007.4157
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068410000177
https://dblp.uni-trier.de/db/journals/corr/corr1007.html#abs-1007-4157
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/transformations-of-logic-programs-on-infinite-lists/CED87C4272FF933AAAB404640275E563
https://hdl.handle.net/20.500.14243/170367