The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Juan José Moreno-Navarro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Julio García-Martín, Juan José Moreno-Navarro
    Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1993, pp:255-272 [Conf]
  2. Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Generation of and Debugging with Logical Pre and Post-Conditions. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2000, pp:- [Conf]
  3. Julio Mariño, Juan José Moreno-Navarro
    Recovering Sequentiality in Functional-Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:137-150 [Conf]
  4. Juan José Moreno-Navarro, Julio García-Martín, A. del Pozo-Pietro
    Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:593-606 [Conf]
  5. Juan José Moreno-Navarro, Susana Muñoz-Hernández
    On the Practical Use of Negation in a Prolog Compiler. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:457-469 [Conf]
  6. Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín
    Adding Type Classes to Functional-Logic Languages. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:427-438 [Conf]
  7. Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo
    Lazy Narrowing in a Graph Machine. [Citation Graph (0, 0)][DBLP]
    ALP, 1990, pp:298-317 [Conf]
  8. Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
    BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. [Citation Graph (0, 0)][DBLP]
    ALP, 1988, pp:223-232 [Conf]
  9. Julio García-Martín, Juan José Moreno-Navarro
    A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:367-376 [Conf]
  10. Juan José Moreno-Navarro
    Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:213-227 [Conf]
  11. Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
    Graph-based Implementation of a Functional Logic Langugage. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:271-290 [Conf]
  12. Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro
    Constructive Intensional Negation. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:39-54 [Conf]
  13. Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
    Implementing a Lazy Functional Logic Language with Disequality Constraints. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:207-221 [Conf]
  14. Julio Mariño, Juan José Moreno-Navarro
    Using Static Analysis to Compile Non-sequential Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:614- [Conf]
  15. Juan José Moreno-Navarro
    Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:535-549 [Conf]
  16. Juan José Moreno-Navarro
    Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:829- [Conf]
  17. Susana Muñoz-Hernández, Juan José Moreno-Navarro
    A Real Implementation for Constructive Negation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:496-497 [Conf]
  18. Susana Muñoz-Hernández, Juan José Moreno-Navarro
    Implementation Results in Classical Constructive Negation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:284-298 [Conf]
  19. Juan José Moreno-Navarro, Susana Muñoz-Hernández
    Soundness and Completeness of an "Efficient" Negation for Prolog. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:279-293 [Conf]
  20. Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. [Citation Graph (0, 0)][DBLP]
    JISBD, 2000, pp:217-228 [Conf]
  21. Juan José Moreno-Navarro
    De la Arquitectura Software al Urbanismo Software: Hacia Nuevas Formas de concebir los Sistemas de Software Intensivo. [Citation Graph (0, 0)][DBLP]
    JISBD, 2005, pp:179-186 [Conf]
  22. José André Jimènez-Martin, Julio Moriño-Carballo, Juan José Moreno-Navarro
    Efficient Compilation of Lazy Narrowing into Prolog. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1992, pp:253-270 [Conf]
  23. Julio García Marrtín, Juan José Moreno-Navarro
    FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:487-489 [Conf]
  24. Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo
    Efficient Negation Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:485-494 [Conf]
  25. Julio Mariño, Juan José Moreno-Navarro
    Using Static Analysis to Compile Non-sequential Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:63-80 [Conf]
  26. Juan José Moreno-Navarro, Susana Muñoz-Hernández
    How to Incorporate Negation in a Prolog Compiler. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:124-140 [Conf]
  27. Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans
    Efficient Lazy Narrowing using Demandedness Analysis. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:167-183 [Conf]
  28. Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo
    Independent AND-Parallel Implementation of Narrowing. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:24-38 [Conf]
  29. Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Rapid Prototyping and Incremental Evolution Using SLAM. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2003, pp:201-0 [Conf]
  30. Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:85-106 [Conf]
  31. Ángel Herranz-Nieva, Juan José Moreno-Navarro
    On the Role of Functional-logic Languages for the Debugging of Imperative Programs. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:23-41 [Conf]
  32. Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Partial Predicates for Demand Analysis. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:324-339 [Conf]
  33. Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Formal Extreme (and Extremely Formal) Programming. [Citation Graph (0, 0)][DBLP]
    XP, 2003, pp:88-96 [Conf]
  34. Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya
    Declarative Reflection and its Application as a Pattern Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  35. Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
    Logic Programming with Functions and Predicates: The Language BABEL. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:12, n:3&4, pp:191-223 [Journal]
  36. Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
    The Functional Logic Language BABEL and Its Implementation on a Graph Machine. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1996, v:14, n:4, pp:391-427 [Journal]
  37. Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Demand Analysis with Partial Predicates [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  38. Bialgebra views: a way for polytypic programming to cohabit with data abstraction. [Citation Graph (, )][DBLP]


  39. Automatic Coding Rule Conformance Checking Using Logic Programming. [Citation Graph (, )][DBLP]


  40. Modeling Concurrent Systems with Shared Resources. [Citation Graph (, )][DBLP]


  41. Automatic Coding Rule Conformance Checking Using Logic Programs [Citation Graph (, )][DBLP]


  42. Extending Constructive Logic Negation with Types. [Citation Graph (, )][DBLP]


  43. A Coding Rule Conformance Checker Integrated into GCC. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.154secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002