E-LIB Suche - Ergebnisse für: Moreno-Navarro, Juan Jose

1

Algebraic and Logic Programming

Proceedings of an International Workshop held in Gaussig (G... Mathematical Research ; 49, Mathematische Forschung

Beierle, Christoph ; Bergstra, J.A ; Bockmayr, Alexander... - Reprint 2022 . , [2022]

Link: https://doi.org/10.1515/..

2

Doughnut Computing in City Planning for Achieving Human and..:

, In: Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence; Lecture Notes in Computer Science,

Dahl, Veronica ; Moreno-Navarro, Juan José - p. 562-572 , 2022

Link: https://doi.org/10.1007/..

3

Deriving the full-reducing Krivine machine from the small-s..:

, In: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming,

García-Pérez, Álvaro ; Nogueira, Pablo ; Moreno-Navarro, Juan José - p. 85-96 , 2013

Link: https://dl.acm.org/doi/1..

4

Extending Constructive Logic Negation with Types:

Munoz-Hernandez, Susana ; Moreno-Navarro, Juan José
Electronic Notes in Theoretical Computer Science. 246 (2009) - p. 183-198 , 2009

Link: https://doi.org/10.1016/..

5

A Coding Rule Conformance Checker Integrated into GCC:

Marpons, Guillem ; Mariño, Julio ; Carro, Manuel...
Electronic Notes in Theoretical Computer Science. 248 (2009) - p. 149-159 , 2009

Link: https://doi.org/10.1016/..

6

Implementing Constructive Intensional Negation:

Mariño, Julio ; Moreno-Navarro, Juan José ; Munoz-Hernandez, Susana
New Generation Computing. 27 (2008) 1 - p. 25-56 , 2008

Link: https://doi.org/10.1007/..

7

Bialgebra views : a way for polytypic programming to coh..:

, In: Proceedings of the ACM SIGPLAN workshop on Generic programming,

Nogueira, Pablo ; Moreno-Navarro, Juan José - p. 61-73 , 2008

Link: https://dl.acm.org/doi/1..

8

Demand analysis with partial predicates:

MARIÑO, JULIO ; HERRANZ, ÁNGEL ; MORENO-NAVARRO, JUAN JOSÉ
Theory and Practice of Logic Programming. 7 (2007) 1-2 - p. 153-182 , 2007

Link: https://doi.org/10.1017/..

9

Preface:

Eriksson, Lars-Henrik ; Moreno-Navarro, Juan José
Computer Languages. 23 (1997) 2-4 - p. 59 , 1997

Link: https://doi.org/10.1016/..

10

Logic programming with functions and predicates: The langua..:

Moreno-Navarro, Juan Jose ; Rodriguez-Artalejo, Mario
The Journal of Logic Programming. 12 (1992) 3 - p. 191-223 , 1992

Link: https://doi.org/10.1016/..

11

BABEL: A Functional and Logic Programing Language based on ..:

, In: Algebraic and Logic Programming,

Moreno-Navarro, Juan José ; Rodríguez-Artalejo, Mario - p. 223-232 , 1988

Link: https://doi.org/10.1515/..

12

Modeling and Reasoning about Design Patterns in Slam-Sl:

, In: Design Pattern Formalization Techniques,

Herranz, Angel ; Moreno-Navarro, Juan José ,

Link: https://doi.org/10.4018/..

13

Automatic Coding Rule Conformance Checking Using Logic Prog..:

Marpons-Ucero, Guillem ; Mariño, Julio ; Herranz, Ángel...
http://arxiv.org/abs/0711.0344. , 2007

Link: http://arxiv.org/abs/071..

14

Demand Analysis with Partial Predicates:

Marino, Julio ; Herranz, Angel ; Moreno-Navarro, Juan Jose
http://arxiv.org/abs/cs/0602008. , 2006

Link: http://arxiv.org/abs/cs/..

15

The urban contrast: A nationwide assessment of avian divers..:

MacGregor-Fors, Ian ; Escobar-Ibáñez, Juan F. ; Schondube, Jorge E....
Science of The Total Environment. 753 (2021) - p. 141915 , 2021

Link: https://doi.org/10.1016/..