Výsledky vyhľadávania - Program transformation, Logic programming

Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program Transformation

Autori: Shengbing Ren Mengyu Jia

Zdroj: IEEE Access, Vol 7, Pp 62352-62360 (2019)

Predmety: Constraint logic programming, large-scale software, program slicing, program transformation, scenario, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis súboru: electronic resource

Relation: https://ieeexplore.ieee.org/document/8410365/; https://doaj.org/toc/2169-3536

Prístupová URL adresa: https://doaj.org/article/eeb44adb54504088834d3afb53789a90

On the Equivalence between Logic Programming and SETAF.

Autori: ALCÂNTARA, JOÃO CORDEIRO, RENAN SÁ, SAMY

Zdroj: Theory & Practice of Logic Programming; Nov2024, Vol. 24 Issue 6, p1208-1236, 29p

Predmety: PROGRAM transformation, LOGIC programming, SEMANTICS (Philosophy), EQUIVALENCE (Linguistics), MANURES

LLM-powered Datalog Code Translation and Incremental Program Analysis Framework.

Autori: Xizao Wang Tianqi Shen Xiangrong Bin a ďalší

Zdroj: International Journal of Software & Informatics; 2025, Vol. 15 Issue 2, p251-276, 26p

Predmety: LANGUAGE models, LOGIC programming, PROGRAM transformation, RULE-based programming, SOURCE code

From Logic to Functional Logic Programs.

Autori: HANUS, MICHAEL

Zdroj: Theory & Practice of Logic Programming; Jul2022, Vol. 22 Issue 4, p538-554, 17p

Predmety: LOGIC programming, CARTOGRAPHY software, PROGRAM transformation, LOGIC

Transformations of logic programs on infinite lists

Autori: SENNI, VALERIO PETTOROSSI, ALBERTO Proietti M. a ďalší

Prispievatelia: SENNI, VALERIO PETTOROSSI, ALBERTO Proietti M. a ďalší

Zdroj: 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

Predmety: 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)

Popis súboru: application/pdf

Prístupová URL adresa: 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

Logic + control: On program construction and verification

Autori: Drabent, Wlodzimierz

Zdroj: Theory and Practice of Logic Programming. 18(1):1-29

Predmety: logic programming, declarative programming, program completeness, program correctness, specification, program transformation, floundering, occur-check

Popis súboru: print

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-141146

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Autori: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. a ďalší

Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Predmety: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)

Autori: Pettorossi, Alberto Proietti, Maurizio Fioravanti, Fabio a ďalší

Zdroj: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. :16-38

Predmety: Constraint logic programming, Program manipulation, Partial evaluation, Transformation rules, Program specialization, Program transformation, Program validation, Program synthesis, Transformation strategies

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/11564/822976
https://doi.org/10.1145/3635800.3637446

Proceedings 37th International Conference on Logic Programming (Technical Communications): A Logic Program Transformation for Strongly Persistent Forgetting (Extended Abstract)

Autori: Gilberto Pérez Pedro Cabalar Felicidad Aguado a ďalší

Zdroj: Electronic Proceedings in Theoretical Computer Science. 345:11-13

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Efficient generation of test data structures using constraint logic programming and program transformation

Autori: Fioravanti F Proietti M Senni V

Zdroj: Journal of logic and computation
25 (2015): 1263–1283.
info:cnr-pdr/source/autori:Fioravanti, F.; Proietti, M.; Senni, V./titolo:Efficient generation of test data structures using constraint logic programming and program transformation/doi:/rivista:Journal of logic and computation (Print)/anno:2015/pagina_da:1263/pagina_a:1283/intervallo_pagine:1263–1283/volume:25

Predmety: Program testing, constraint logic programming, program transformation, QA76 Computer software, 13. Climate action, QA75 Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Prístupová URL adresa: http://www.iasi.cnr.it/%7Eproietti/papers/2014_FPS_JLC.pdf
http://www.cnr.it/prodotto/i/340910
https://publications.cnr.it/doc/340910
https://www.sci.unich.it/~fioravan/papers/CILC12-JLC.pdf
http://www.iasi.cnr.it/%7Eproietti/papers/2014_FPS_JLC.pdf
http://dblp.uni-trier.de/db/journals/logcom/logcom25.html#FioravantiPS15
https://academic.oup.com/logcom/article-pdf/25/6/1263/7950076/ext071.pdf
https://core.ac.uk/display/17036531
https://dblp.uni-trier.de/db/journals/logcom/logcom25.html#FioravantiPS15
https://hdl.handle.net/20.500.14243/302688

Analysis and Transformation of Constrained Horn Clauses for Program Verification

Autori: EMANUELE DE ANGELIS FABIO FIORAVANTI JOHN P. GALLAGHER a ďalší

Zdroj: Theory and Practice of Logic Programming, ISSN 1475-3081, 2021
Archivo Digital UPM
instname
Universidad Politécnica de Madrid
Theory and practice of logic programming (2022). doi:10.1017/S1471068421000211
info:cnr-pdr/source/autori:De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio/titolo:Analysis and Transformation of Constrained Horn Clauses for Program Verification/doi:10.1017%2FS1471068421000211/rivista:Theory and practice of logic programming/anno:2022/pagina_da:/pagina_a:/intervallo_pagine:/volume

Predmety: Program Verification, Informática, FOS: Computer and information sciences, Constraint logic programming, Computer Science - Logic in Computer Science, Program Analysis, Computer Science - Programming Languages, Program analysis, 02 engineering and technology, Logic in Computer Science (cs.LO), Program Transformation, Constraint Logic Programming, Program verification, Program transformation, 0202 electrical engineering, electronic engineering, information engineering, Constrained Horn Clauses, Constrained Horn clauses, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C3FA89E4A8F4AC7C57704EB916149571/S1471068421000211a.pdf/div-class-title-analysis-and-transformation-of-constrained-horn-clauses-for-program-verification-div.pdf
http://arxiv.org/abs/2108.00739
https://oa.upm.es/70099/
https://arxiv.org/pdf/2108.00739
https://dblp.uni-trier.de/db/journals/corr/corr2108.html#abs-2108-00739
https://arxiv.org/abs/2108.00739
https://forskning.ruc.dk/en/publications/analysis-and-transformation-of-constrained-horn-clauses-for-progr
http://arxiv.org/abs/2108.00739v1
https://hdl.handle.net/11564/758781
https://doi.org/10.1017/S1471068421000211

Transformations of logic programs with goals as arguments

Autori: PETTOROSSI, ALBERTO Proietti, M. Pettorossi, A a ďalší

Prispievatelia: PETTOROSSI, ALBERTO Proietti, M. Pettorossi, A a ďalší

Zdroj: Theory and practice of logic programming 4 (2004): 495–537. doi:10.1017/S147106840400198X
info:cnr-pdr/source/autori:Pettorossi, A.; Proietti, M./titolo:Transformations of logic programs with goals as arguments/doi:10.1017%2FS147106840400198X/rivista:Theory and practice of logic programming/anno:2004/pagina_da:495/pagina_a:537/intervallo_pagine:495–537/volume:4

Predmety: FOS: Computer and information sciences, program transformation, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 02 engineering and technology, Continuations, Higher order logic programming, Program transformation, Unfold/fold transformation rules, Logic programming, 01 natural sciences, D.1.2, D.1.6, I.2.2, F.3.1, continuations, 0202 electrical engineering, electronic engineering, information engineering, unfold/fold transformation rules, Computer Science - Programming Languages, higher order logic programming, Continuation, Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, Logic in Computer Science (cs.LO), higher-order logic programming, Programming Languages (cs.PL)

Popis súboru: application/xml

Prístupová URL adresa: http://arxiv.org/pdf/cs/0307022
http://arxiv.org/abs/cs/0307022
https://zbmath.org/2102953
https://doi.org/10.1017/s147106840400198x
http://dblp.uni-trier.de/db/journals/corr/corr0307.html#cs-PL-0307022
https://arxiv.org/abs/cs/0307022
https://dblp.uni-trier.de/db/journals/corr/corr0307.html#cs-PL-0307022
https://art.torvergata.it/handle/2108/32843
http://www.journals.cambridge.org/abstract_S147106840400198X
https://doi.org/10.1017/S147106840400198X
https://hdl.handle.net/20.500.14243/169428
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=227665
https://doi.org/10.1017/S147106840400198X

An unfold/fold transformation framework for definite logic programs

Autori: Roychoudhury, A. Kumar, K.N. Ramakrishnan, C.R. a ďalší

Prispievatelia: Roychoudhury, A. Kumar, K.N. Ramakrishnan, C.R. a ďalší

Zdroj: ACM Transactions on Programming Languages and Systems. 26:464-509

Predmety: Inductive theorem proving, Program transformation, 0202 electrical engineering, electronic engineering, information engineering, Folding, 0102 computer and information sciences, 02 engineering and technology, Unfolding, Logic programming, 01 natural sciences

Supporting Transformations for the Partial Evaluation of Logic Programs: Supporting transformations for the partial evaluation of logic programs

Autori: Kerima Benkerimi Patricia M. Hill

Zdroj: Journal of Logic and Computation. 3:469-486

Predmety: logic programming, program transformation, Specification and verification (program logics, model checking, etc.), specification, 0202 electrical engineering, electronic engineering, information engineering, partial evaluation, Theory of compilers and interpreters, 0102 computer and information sciences, 02 engineering and technology, meta-interpreters, Logic programming, 01 natural sciences, unfolding

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/540338
https://doi.org/10.1093/logcom/3.5.469
https://dblp.uni-trier.de/db/journals/logcom/logcom3.html#BenkerimiH93
https://academic.oup.com/logcom/article/3/5/469/1369339

Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach

Autori: De Angelis Emanuele Fioravanti Fabio Pettorossi Alberto a ďalší

Zdroj: Journal of logic and computation
32 (2022): 402–442. doi:10.1093/logcom/exab090
info:cnr-pdr/source/autori:De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio/titolo:Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach/doi:10.1093%2Flogcom%2Fexab090/rivista:Journal of logic and computation (Print)/anno:2022/pagina_da:402/pagina_a:442/intervallo_pagine:402–442/volume:32

Predmety: Program Verification, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Program Transformation, Algebra, Logic programming, Metadata, Trees (mathematics), 0202 electrical engineering, electronic engineering, information engineering, Constrained Horn Clauses, Algebraic Data Types, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/pdf/2111.11819
http://arxiv.org/abs/2111.11819
https://academic.oup.com/logcom/article-abstract/32/2/402/6517731
https://hdl.handle.net/11564/775851
https://doi.org/10.1093/logcom/exab090
http://www.scopus.com/record/display.url?eid=2-s2.0-85126113152&origin=inward
https://hdl.handle.net/20.500.14243/413928
https://doi.org/10.1093/logcom/exab090

Totally correct logic program transformations via well-founded annotations

Autori: Pettorossi A Proietti M Pettorossi, A a ďalší

Prispievatelia: Pettorossi A Proietti M Pettorossi, A a ďalší

Zdroj: Higher-order and symbolic computation
21 (2008): 193–235.
info:cnr-pdr/source/autori:Pettorossi, A.; Proietti, M./titolo:Totally Correct Logic Program Transformations Via Well-Founded Annotations/doi:/rivista:Higher-order and symbolic computation (Print)/anno:2008/pagina_da:193/pagina_a:235/intervallo_pagine:193–235/volume:21

Predmety: Logic Programming, Program transformation, Transformation rules, Logic Programming, Well-founded Annotations, Transformation rules, Program transformation, Well-founded Annotations, Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Popis súboru: application/pdf

Prístupová URL adresa: https://art.torvergata.it/retrieve/handle/2108/41687/60305/PetPro_HOSC-08_Springer.pdf
https://link.springer.com/content/pdf/10.1007%2Fs10990-008-9031-7.pdf
https://publications.cnr.it/doc/153595
http://www.cnr.it/prodotto/i/153595
https://publications.cnr.it/doc/60105
http://www.cnr.it/prodotto/i/60105
https://hdl.handle.net/20.500.14243/27646

Basic transformation operations which preserve computed answer substitutions of logic programs

Autori: BOSSI, Annalisa COCCO, Nicoletta

Zdroj: The Journal of Logic Programming. 16:47-87

Predmety: S-semantics, fattening, Logic, pruning, thinning, Semantics in the theory of computing, transformation techniques for logic programs, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, restricting, 0202 electrical engineering, electronic engineering, information engineering, unfolding

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/227530
https://doi.org/10.1016/0743-1066(93)90023-a
https://www.sciencedirect.com/science/article/pii/074310669390023A#!
https://dblp.uni-trier.de/db/journals/jlp/jlp16.html#BossiC93
https://iris.unive.it/handle/10278/12242
https://hdl.handle.net/10278/12242

Synthesis and transformation of logic programs using unfold/fold proofs

Autori: Maurizio Proietti Alberto Pettorossi

Zdroj: The Journal of Logic Programming. 41:197-230

Predmety: Logic programs, Logic, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Unfold/fold proof method, Logic programming, unfold/fold proof method, 01 natural sciences, Implicit definitions

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/1399929
https://doi.org/10.1016/s0743-1066(99)00029-1
https://dblp.uni-trier.de/db/journals/jlp/jlp41.html#PettorossiP99
https://www.sciencedirect.com/science/article/pii/S0743106699000291

A theory of totally correct logic program transformations

Autori: Pettorossi A Proietti M

Zdroj: Proceedings of the 2004 ACM-SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 2004
info:cnr-pdr/source/autori:Pettorossi, A.; Proietti, M./congresso_nome:Proceedings of the 2004 ACM-SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation/congresso_luogo:/congresso_data:2004/anno:2004/pagina_da:/pagina_a:/intervallo_pagine

Predmety: 0202 electrical engineering, electronic engineering, information engineering, Logic programming, Partial and total correctness, Program transformation rules, Well-founded orderings, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Prístupová URL adresa: https://publications.cnr.it/doc/153426
http://www.cnr.it/prodotto/i/153426
https://publications.cnr.it/doc/75316
http://www.cnr.it/prodotto/i/75316
https://core.ac.uk/display/53815843
https://dl.acm.org/doi/10.1145/1014007.1014023
https://art.torvergata.it/handle/2108/41705
https://dblp.uni-trier.de/db/conf/pepm/pepm2004.html#PettorossiP04
https://hdl.handle.net/20.500.14243/70352
https://hdl.handle.net/2108/41705
https://doi.org/10.1145/1014007.1014023

Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation

Autori: Hamilton, Geoffrey W. Kahsai, Temesghen Proietti, Maurizio

Predmety: Computer Science - Symbolic Computation, Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, Computer Science - Programming Languages, Symbolic Computation (cs.SC), Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Prístupová URL adresa: http://arxiv.org/abs/2211.10675