Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Juan José Moreno-Navarro"'
Publikováno v:
Electronic Notes in Theoretical Computer Science. 246:183-198
Negation has traditionally been a difficult issue in Logic Programming. Most of Prolog programmers have been restricted to use just a weak negation technique, like negation as failure.Many alternative semantics were proposed for achieving constructiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e76b59a95018ca89144424aa0d221c7d
Publikováno v:
New Generation Computing. 27:25-56
Although negation is an active area of research in logic programming, sound and complete implementations are still absent from actual Prolog systems. One of the most promising techniques in the literature is intensional negation (IN), which follows a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::533559ae1ef7568a270d639e0eb0446e
https://doi.org/10.1007/s00354-008-0053-9
https://doi.org/10.1007/s00354-008-0053-9
Publikováno v:
Theory and Practice of Logic Programming. 7:153-182
To alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of demand information, i.e. knowing in advance which computations are needed and, to which extent, in a particular co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e00d7a3f1fad42a9c5e94eb8e098fb8
https://doi.org/10.1017/s1471068406002882
https://doi.org/10.1017/s1471068406002882
Autor:
Juan Carlos Urquiza Suarez, Carlos Miguel Casas Jimenez, José Ignacio Alonso Montes, Jaime Albuja Munive, Juan Marcelo Ibujes Villacis, Juan José Moreno-Navarro
Publikováno v:
2014 First International Conference on eDemocracy & eGovernment (ICEDEG).
Information and Communications Technologies (ICT) has become an essential tool for development worldwide. As several literature studies confirm, the development of the ICT industry and the massification of internet use conveys important social and ec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1eb5b4e6d8c8e1d5068531224b0321d2
https://doi.org/10.1109/icedeg.2014.6819939
https://doi.org/10.1109/icedeg.2014.6819939
Publikováno v:
New Generation Computing. 14:391-427
The first-order, untyped, functional logic language Babel is extended by polymorphic types and higher order functios. A sophisticated incompatibility check which is used to guarantee nonambiguity of BABEL programs is presented. For the implementation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2814a56ae633e48e8d6649c133539bd3
https://doi.org/10.1007/bf03037211
https://doi.org/10.1007/bf03037211
Autor:
Juan José Moreno-Navarro
Publikováno v:
The Knowledge Engineering Review. 10:205-208
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f404afd3112b025d41aafc2e28a67c1
https://doi.org/10.1017/s0269888900008158
https://doi.org/10.1017/s0269888900008158
Publikováno v:
The Journal of Logic Programming. 12:191-223
We investigate the experimental programming language BABEL , designed to achieve integration of functional programming (as embodied in HOPE , Standard ML , or MIRANDA ) and logic programming (as embodied in PROLOG) in a simple, flexible, and mathemat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5134e815864c32d3fb076d773c1e72b1
https://doi.org/10.1016/0743-1066(92)90024-w
https://doi.org/10.1016/0743-1066(92)90024-w
Publikováno v:
Formal Methods for Industrial Critical Systems ISBN: 9783642045691
FMICS
FMICS
Testing is the more widely used approach to (partial) system validation in industry. The introduction of concurrency makes exhaustive testing extremely costly or just impossible, requiring shifting to formal verification techniques. We propose a meth
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e60092fd4d21b521b25787d4ade302a1
https://doi.org/10.1007/978-3-642-04570-7_9
https://doi.org/10.1007/978-3-642-04570-7_9
Publikováno v:
ICFP-WGP
Polytypic programming and data abstraction are important concepts in designing functional programs, but they do not fit well together. Polytypic programming currently depends on making public a free data type representation, while data abstraction de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec3d9e280d77d1f145af352243b4e556
https://doi.org/10.1145/1411318.1411327
https://doi.org/10.1145/1411318.1411327
Autor:
Julio Mariño, Ángel Herranz, Manuel Carro, Guillem Marpons, Juan José Moreno-Navarro, Lars-Åke Fredlund
Publikováno v:
Practical Aspects of Declarative Languages ISBN: 9783540774419
PADL
PADL
An extended practice in the realm of Software Engineering and programming in industry is the application of coding rules. Coding rules are customarily used to constrain the use (or abuse) of certain programming language constructions. However, these
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea93c2327fd4f0a41ffdf0ef7da7017c
https://doi.org/10.1007/978-3-540-77442-6_3
https://doi.org/10.1007/978-3-540-77442-6_3