Suchergebnisse - "FUNCTIONAL LOGIC PROGRAMMING"
-
1
Autoren: Hanus, Michael
Schlagwörter: 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
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Spatial reasoning, Functional logic programming, Lambda-Prolog
Dateibeschreibung: 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
-
3
Autoren:
Weitere Verfasser:
Schlagwörter: functional logic programming, semantic versioning, program testing
Dateibeschreibung: 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
-
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Docta Complutense
instnameSchlagwörter: 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
Dateibeschreibung: application/pdf
Zugangs-URL: https://hdl.handle.net/20.500.14352/109081
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
Verfügbarkeit: https://hdl.handle.net/20.500.14352/109081
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Theoretical Computer Science. 311:479-525
Schlagwörter: 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)
Dateibeschreibung: application/xml; application/pdf; STAMPA
Zugangs-URL: 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 -
7
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Docta Complutense
instname
E-Prints Complutense. Archivo Institucional de la UCM
E-Prints Complutense: Archivo Institucional de la UCM
Universidad Complutense de MadridSchlagwörter: 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
Dateibeschreibung: application/pdf
Zugangs-URL: 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/ -
8
Autoren: Mohamed A. El-Zawawy
Quelle: Applied Computational Intelligence and Soft Computing, Vol 2014 (2014)
Schlagwörter: 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
Dateibeschreibung: text/xhtml
Zugangs-URL: 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 -
9
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Notes In Theoretical Computer Science
Schlagwörter: 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)
Dateibeschreibung: ELETTRONICO
Zugangs-URL: 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 -
10
Autoren:
Quelle: Proceedings of the XVII Conference of the Iberoamerican Society of Digital Graphics - SIGraDi: Knowledge-based Design. :500-504
Schlagwörter: 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
Zugangs-URL: 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 -
11
Autoren: et al.
Quelle: Electronic Notes in Theoretical Computer Science. 282:19-34
Schlagwörter: 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)
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: THEORETICAL COMPUTER SCIENCE
Schlagwörter: 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)
Dateibeschreibung: application/pdf; STAMPA
Zugangs-URL: 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 -
13
Autoren: Sergio Antoy
Quelle: Journal of Symbolic Computation. 45:501-522
Schlagwörter: 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
Zugangs-URL: 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 -
14
Autoren:
Quelle: Electronic Notes in Theoretical Computer Science. 258:79-91
Schlagwörter: 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)
Zugangs-URL: 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 -
15
Autoren: et al.
Quelle: Electronic Notes in Theoretical Computer Science. 216:31-44
Schlagwörter: 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)
-
16
Autoren: et al.
Quelle: Electronic Notes in Theoretical Computer Science. 188:37-51
Schlagwörter: 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)
-
17
Autoren:
Quelle: Electronic Notes in Theoretical Computer Science. 188:117-142
Schlagwörter: Functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, equivalence of semantics, Theoretical Computer Science, Computer Science(all)
-
18
Autoren:
Quelle: Electronic Notes in Theoretical Computer Science. 177:153-168
Schlagwörter: 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
-
19
Autoren: Michael Hanus
Quelle: Electronic Notes in Theoretical Computer Science. 177:59-73
Schlagwörter: 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)
-
20
Autoren: Bernd Braßel
Quelle: Electronic Notes in Theoretical Computer Science. 177:91-106
Schlagwörter: 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)
Nájsť tento článok vo Web of Science 
Full Text Finder