Výsledky vyhľadávania - "functional logic programming"

From Logic to Functional Logic Programs

Autori: Hanus, Michael

Predmety: article, ScholarlyArticle, Published Version, ddc:004, functional logic programming, transformation, resolution, narrowing strategies

Relation: Theory and practice of logic programming : TPLP -- Theory and Practice of Logic Programming -- 1471-0684 -- 1475-3081; https://doi.org/10.1017/S1471068422000187

Dostupnosť: https://doi.org/10.1017/S1471068422000187
https://nbn-resolving.org/urn:nbn:de:gbv:8:3-2024-00570-3
https://macau.uni-kiel.de/receive/macau_mods_00004855
https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00006164/from-logic-to-functional-logic-programs.pdf

lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)

Autori: Li, Beidi Bhatt, Mehul Schultz, Carl a ďalší

Prispievatelia: Li, Beidi Bhatt, Mehul Schultz, Carl a ďalší

Predmety: Spatial reasoning, Functional logic programming, Lambda-Prolog

Popis súboru: application/pdf

Relation: Is Part Of LIPIcs, Volume 142, 14th International Conference on Spatial Information Theory (COSIT 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2019.26

Dostupnosť: https://doi.org/10.4230/LIPIcs.COSIT.2019.26
https://nbn-resolving.org/urn:nbn:de:0030-drops-111183
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2019.26

Semantic Versioning Checking in a Declarative Package Manager

Autori: Hanus, Michael Michael Hanus

Prispievatelia: Hanus, Michael Michael Hanus

Predmety: functional logic programming, semantic versioning, program testing

Popis súboru: application/pdf

Relation: Is Part Of OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.6

Dostupnosť: https://doi.org/10.4230/OASIcs.ICLP.2017.6
https://nbn-resolving.org/urn:nbn:de:0030-drops-84568
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.6

Study and development of new functional syntactic extensions for Ciao Prolog

Autori: Luque Santamaría, Víctor Morales Caballero, José Francisco de Hermenegildo Salinas, Manuel a ďalší

Prispievatelia: Luque Santamaría, Víctor Morales Caballero, José Francisco de Hermenegildo Salinas, Manuel a ďalší

Zdroj: Docta Complutense
instname

Predmety: Extensiones sintácticas, Informática (Informática), Functional-logic programming, Logic programming, Syntactic extensions, Modular programming, Programación lógica, Programación multiparadigma, Programación modular, Programación funcional, Functional programming, Multiparadigm programming, 004(043.3), Órden superior, Programación lógico-funcional, Higher order, 33 Ciencias Tecnológicas

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/20.500.14352/109081

Study and development of new functional syntactic extensions for Ciao Prolog ; Estudio y desarrollo de nuevas extensiones sintácticas funcionales para Ciao Prolog

Autori: Luque Santamaría, Víctor Morales Caballero, José Francisco de Hermenegildo Salinas, Manuel

Prispievatelia: Luque Santamaría, Víctor Morales Caballero, José Francisco de Hermenegildo Salinas, Manuel

Predmety: 004(043.3), Programación lógica, Programación funcional, Programación multiparadigma, Órden superior, Extensiones sintácticas, Programación lógico-funcional, Programación modular, Logic programming, Functional programming, Multiparadigm programming, Higher order, Syntactic extensions, Functional-logic programming, Modular programming, Informática (Informática), 33 Ciencias Tecnológicas

Popis súboru: application/pdf

Relation: https://hdl.handle.net/20.500.14352/109081

Dostupnosť: https://hdl.handle.net/20.500.14352/109081

Rules + strategies for transforming lazy functional logic programs

Autori: Alpuente M. Falaschi M. Moreno G. a ďalší

Prispievatelia: Alpuente M. Falaschi M. Moreno G. a ďalší

Zdroj: Theoretical Computer Science. 311:479-525

Predmety: PROGRAM TRANSFORMATION, FUNCTIONAL LOGIC PROGRAMMING, STRATEGIES, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, Theoretical Computer Science, Program transformation, Functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, Strategies, Functional programming and lambda calculus, Computer Science(all)

Popis súboru: application/xml; application/pdf; STAMPA

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0304397503005784
https://dlnext.acm.org/doi/10.1016/j.tcs.2003.10.033
https://core.ac.uk/display/24385895
https://dblp.uni-trier.de/db/journals/tcs/tcs311.html#AlpuenteFMV04
https://hdl.handle.net/11365/25373
https://doi.org/10.1016/j.tcs.2003.10.033

Safe typing of functional logic programs with opaque patterns and local bindings

Autori: López Fraguas, Francisco Javier Martín Martín, Enrique Rodríguez Hortalá, Juan a ďalší

Prispievatelia: López Fraguas, Francisco Javier Martín Martín, Enrique Rodríguez Hortalá, Juan a ďalší

Zdroj: Docta Complutense
instname
E-Prints Complutense. Archivo Institucional de la UCM
E-Prints Complutense: Archivo Institucional de la UCM
Universidad Complutense de Madrid

Predmety: Informática, 1203.23 Lenguajes de Programación, Informática (Informática), 004.42.047, Type systems, Functional-logic programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 004.432.4, Programación de ordenadores, Let bindings, Opaque patterns, Programación de ordenadores (Informática), 0202 electrical engineering, electronic engineering, information engineering, 1203.17 Informática, 3304.16 Diseño Lógico, Software

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/20.500.14352/35091
https://www.sciencedirect.com/science/article/abs/pii/S0890540114000054
https://www.sciencedirect.com/science/article/pii/S0890540114000054
https://dblp.uni-trier.de/db/journals/iandc/iandc235.html#Lopez-FraguasMR14
https://eprints.ucm.es/id/eprint/36097/

Testing Automation of Context-Oriented Programs Using Separation Logic

Autori: Mohamed A. El-Zawawy

Zdroj: Applied Computational Intelligence and Soft Computing, Vol 2014 (2014)

Predmety: Separation Logic, FOS: Mechanical engineering, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Logic programming, Automation, Engineering, Artificial Intelligence, Temporal Logic, Programming Language Semantics, Functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, Programming paradigm, Separation logic, Semantics (computer science), QA75.5-76.95, Object-oriented programming, 16. Peace & justice, Computer science, Mechanical engineering, Programming language, Aspect-Oriented Programming, Computational Theory and Mathematics, Separation of concerns, Electronic computers. Computer science, Soundness, Computer Science, Physical Sciences, Operational semantics, Inductive programming, Program Analysis and Verification Techniques, Correctness, Software, Formal Methods in Software Verification and Control

Popis súboru: text/xhtml

Prístupová URL adresa: http://downloads.hindawi.com/journals/acisc/2014/930186.pdf
https://doaj.org/article/138b35fd531d4303a164d1feb85337ee
https://www.hindawi.com/journals/acisc/2014/930186/
https://doi.org/10.1155/2014/930186
https://downloads.hindawi.com/journals/acisc/2014/930186.pdf
https://dblp.uni-trier.de/db/journals/acisc/acisc2014.html#El-Zawawy14
http://downloads.hindawi.com/journals/acisc/2014/930186.pdf
https://core.ac.uk/display/90642426

A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424

Autori: Alpuente, M. Correa, F. Falaschi, M. a ďalší

Prispievatelia: Alpuente, M. Correa, F. Falaschi, M. a ďalší

Zdroj: Electronic Notes In Theoretical Computer Science

Predmety: Logic languages, Software engineering, General Computer Science, Approximation theory, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, Program debugging, Program specification, Semantics, Theoretical Computer Science, Computational complexity, Computer programming languages, Program correctness, Functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, Mathematical operators, Computer Science(all)

Popis súboru: ELETTRONICO

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066104803451
https://dblp.uni-trier.de/db/journals/entcs/entcs64.html#AlpuenteCF02
https://hdl.handle.net/11365/38228
https://doi.org/10.1016/S1571-0661(04)80345-1
https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=1852
http://hdl.handle.net/10784/27404
https://www.openaccessrepository.it/record/26359

The Art of Computer Graphics Programming: Translating Pioneer Programs

Autori: Viviane Alencar Gabriela Celani

Zdroj: Proceedings of the XVII Conference of the Iberoamerican Society of Digital Graphics - SIGraDi: Knowledge-based Design. :500-504

Predmety: Visual Arts and Performing Arts, 0211 other engineering and technologies, Social Sciences, 02 engineering and technology, Computer graphics, Engineering, Pascal (unit), Field (mathematics), Architecture, 11. Sustainability, FOS: Mathematics, Functional logic programming, Architectural Geometry and Artistic Representation, Programming paradigm, 10. No inequality, Fifth-generation programming language, Software engineering, Computer graphics (images), 9. Industry and infrastructure, 4. Education, 05 social sciences, Programming language theory, Pure mathematics, Computational Design, Architectural Design, Computer science, Programming language, Physical Sciences, Fourth-generation programming language, Graphics, Inductive programming, FOS: Arts (arts, history of arts, performing arts, music), Arts and Humanities, 0509 other social sciences, FOS: Civil engineering, Mathematics, Parametric Architecture and Urban Design

Prístupová URL adresa: http://pdf.blucher.com.br/designproceedings/sigradi2013/0096.pdf
http://pdf.blucher.com.br/designproceedings/sigradi2013/0096.pdf
http://www.proceedings.blucher.com.br/article-details/the-art-of-computer-graphics-programming-translating-pioneer-programs-14182
https://www.proceedings.blucher.com.br/article-details/14182

XPath Query Processing in a Functional-Logic Language

Autori: Yolanda García-Ruiz Rafael Caballero Fernando Sáenz-Pérez a ďalší

Zdroj: Electronic Notes in Theoretical Computer Science. 282:19-34

Predmety: Non-Deterministic Functions, 0202 electrical engineering, electronic engineering, information engineering, XPath, Higher-Order Patterns, 0102 computer and information sciences, 02 engineering and technology, Functional-Logic Programming, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Prístupová URL adresa: https://www.sciencedirect.com/science/article/abs/pii/S1571066111001927
http://lbd.udc.es/jornadas2011/actas/PROLE/PROLE/S1/03_article.pdf
https://cyberleninka.org/article/n/153293
https://www.sciencedirect.com/science/article/pii/S1571066111001927
https://core.ac.uk/display/82602389

An integrated framework for the diagnosis and correction of rule-based programs

Autori: Alpuente, M. Ballis, D. Correa, F. a ďalší

Prispievatelia: Alpuente, M. Ballis, D. Correa, F. a ďalší

Zdroj: THEORETICAL COMPUTER SCIENCE

Predmety: Integrated frameworks, Debugging systems, 0102 computer and information sciences, 02 engineering and technology, Declarative debugging, Logic programming, 01 natural sciences, Single-step, Topdown, Program debugging, Program diagnostics, Theoretical Computer Science, Debugging methods, Program correctness, Functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, Narrowing, Web services, Debugging, Program transformation, Evaluation strategies, Program synthesis, Program transformations, Diagnosis methods, Rule based, Functional programming, Integrated development environment, Computer Science(all)

Popis súboru: application/pdf; STAMPA

Prístupová URL adresa: http://www.sciencedirect.com/science/article/pii/S0304397510003956
https://doi.org/10.1016/j.tcs.2010.07.009
https://usiena-air.unisi.it/handle/11365/25850
https://dblp.uni-trier.de/db/journals/tcs/tcs411.html#AlpuenteBCF10
https://www.sciencedirect.com/science/article/pii/S0304397510003956
https://core.ac.uk/display/21420188
https://hdl.handle.net/11365/25850
https://doi.org/10.1016/j.tcs.2010.07.009
https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=1910
http://hdl.handle.net/10784/28600
https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=1910
http://hdl.handle.net/10784/27338

Programming with narrowing: A tutorial

Autori: Sergio Antoy

Zdroj: Journal of Symbolic Computation. 45:501-522

Predmety: Computational Mathematics, Algebra and Number Theory, Functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Program design, Narrowing, 01 natural sciences

Prístupová URL adresa: https://www.sciencedirect.com/science/article/abs/pii/S0747717110000143
https://core.ac.uk/display/82417657
https://www.sciencedirect.com/science/article/pii/S0747717110000143
https://dblp.uni-trier.de/db/journals/jsc/jsc45.html#Antoy10
https://dialnet.unirioja.es/servlet/articulo?codigo=3213183
https://web.cecs.pdx.edu/~antoy/homepage/publications/narrowing/paper.pdf

TOY: A System for Experimenting with Cooperation of Constraint Domains

Autori: Sonia Estévez-Martín A.J. Fernández Leiva Fernando Sáenz-Pérez

Zdroj: Electronic Notes in Theoretical Computer Science. 258:79-91

Predmety: Tools, Multiparadigm Programming, Constraint Functional Logic Programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Domain Cooperation, Theoretical Computer Science, Computer Science(all)

Prístupová URL adresa: https://core.ac.uk/display/82389357
https://www.sciencedirect.com/science/article/pii/S1571066109004885
https://www.sciencedirect.com/science/article/abs/pii/S1571066109004885
https://dblp.uni-trier.de/db/journals/entcs/entcs258.html#MartinLS09
https://dialnet.unirioja.es/servlet/articulo?codigo=5964485

Computational Origami Construction as Constraint Solving and Rewriting

Autori: Hidekazu Takahashi Tetsuo Ida Mircea Marin a ďalší

Zdroj: Electronic Notes in Theoretical Computer Science. 216:31-44

Predmety: constraint solving, functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, automated theorem proving, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, computational origami, rewriting, Theoretical Computer Science, Computer Science(all)

Prístupová URL adresa: https://core.ac.uk/display/82591974
https://www.sciencedirect.com/science/article/pii/S1571066108003757
https://www.sciencedirect.com/science/article/abs/pii/S1571066108003757

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

Autori: Antonio J. Fernández Mario Rodríguez-Artalejo R. del Vado-Vírseda a ďalší

Zdroj: Electronic Notes in Theoretical Computer Science. 188:37-51

Predmety: Cooperating Solvers, Functional Logic Programming, Implementation, Constraints, 0202 electrical engineering, electronic engineering, information engineering, Lazy Narrowing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Prístupová URL adresa: https://core.ac.uk/display/82188877
http://gpd.sip.ucm.es/sonia/PROLE'06.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs188.html#MartinFHRSV07
https://www.sciencedirect.com/science/article/pii/S1571066107004793
https://www.sciencedirect.com/science/article/abs/pii/S1571066107004793

Equivalence of Two Formal Semantics for Functional Logic Programs

Autori: Juan Rodríguez-Hortalá Francisco Javier López-Fraguas Jaime Sánchez-Hernández

Zdroj: Electronic Notes in Theoretical Computer Science. 188:117-142

Predmety: Functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, equivalence of semantics, Theoretical Computer Science, Computer Science(all)

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/entcs/entcs188.html#Lopez-FraguasRS07
https://core.ac.uk/display/82441058
https://www.sciencedirect.com/science/article/pii/S1571066107004847
https://www.sciencedirect.com/science/article/abs/pii/S1571066107004847

Implementing Dynamic-Cut in TOY

Autori: Rafael Caballero Yolanda García-Ruiz

Zdroj: Electronic Notes in Theoretical Computer Science. 177:153-168

Predmety: functional-logic Programming, program analysis, programming language implementation, 0202 electrical engineering, electronic engineering, information engineering, determinism, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066107002198
http://gpd.sip.ucm.es/rafa/papers/wflp06b.pdf
https://www.sciencedirect.com/science/article/abs/pii/S1571066107002198
https://dblp.uni-trier.de/db/journals/entcs/entcs177.html#CaballeroG07

Reporting Failures in Functional Logic Programs

Autori: Michael Hanus

Zdroj: Electronic Notes in Theoretical Computer Science. 177:59-73

Predmety: Functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, implementation, 01 natural sciences, debugging, Theoretical Computer Science, Computer Science(all)

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066107002137
https://dblp.uni-trier.de/db/journals/entcs/entcs177.html#Hanus07
http://www.sciencedirect.com/science/article/pii/S1571066107002137
https://core.ac.uk/display/82472642

A Framework for Interpreting Traces of Functional Logic Computations

Autori: Bernd Braßel

Zdroj: Electronic Notes in Theoretical Computer Science. 177:91-106

Predmety: functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, debugging, Theoretical Computer Science, Computer Science(all)

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066107002150
https://core.ac.uk/display/82396535
https://www.sciencedirect.com/science/article/abs/pii/S1571066107002150
https://dblp.uni-trier.de/db/journals/entcs/entcs177.html#Brassel07