Juan José Moreno-Navarro

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with coauthor community group 1

> Home > Persons > Juan José Moreno-Navarro

Publications

2022
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/iwinac/DahlM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwinac/DahlM22
Verónica Dahl, Juan José Moreno-Navarro:
Doughnut Computing in City Planning for Achieving Human and Planetary Rights. IWINAC (1) 2022: 562-572
2013
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Garcia-PerezNM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Garcia-PerezNM13
Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro:
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. PPDP 2013: 85-96
2009
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/TaibiHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/TaibiHM09
Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. J. Object Technol. 8(2): 137-161 (2009)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Herranz-NievaMCM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Herranz-NievaMCM09
Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro:
Modeling Concurrent Systems with Shared Resources. FMICS 2009: 102-116
2008
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ngc/MarinoMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/MarinoMM08
Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández:
Implementing Constructive Intensional Negation. New Gener. Comput. 27(1): 25-56 (2008)
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/NogueiraM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/NogueiraM08
Pablo Nogueira, Juan José Moreno-Navarro:
Bialgebra views: a way for polytypic programming to cohabit with data abstraction. ICFP-WGP 2008: 61-73
[c40]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/PerezHMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/PerezHMM08
Ivan Perez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Modelling Mash-up Resources. JISBD 2008: 135-146
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Marpons-UceroMCHMF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Marpons-UceroMCHMF08
Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund:
Automatic Coding Rule Conformance Checking Using Logic Programming. PADL 2008: 18-34
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Marpons-UceroMCHFMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Marpons-UceroMCHFMP09
Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo:
A Coding Rule Conformance Checker Integrated into GCC. PROLE 2008: 149-159
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Munoz-HernandezM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Munoz-HernandezM09
Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Extending Constructive Logic Negation with Types. WFLP 2008: 183-198
2007
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/MarinoHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/MarinoHM07
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Demand analysis with partial predicates. Theory Pract. Log. Program. 7(1-2): 153-182 (2007)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0711-0344
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0711-0344
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro:
Automatic Coding Rule Conformance Checking Using Logic Programs. CoRR abs/0711.0344 (2007)
2006
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0602008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0602008
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Demand Analysis with Partial Predicates. CoRR abs/cs/0602008 (2006)
2004
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/Munoz-HernandezMM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Munoz-HernandezMM04
Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro:
Constructive Intensional Negation. FLOPS 2004: 39-54
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Munoz-HernandezM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Munoz-HernandezM04
Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Implementation Results in Classical Constructive Negation. ICLP 2004: 284-298
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/Moreno-NavarroM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/Moreno-NavarroM04
Juan José Moreno-Navarro, Susana Muñoz-Hernández:
Soundness and Completeness of an "Efficient" Negation for Prolog. JELIA 2004: 279-293
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/CarroMHM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/CarroMHM04
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. TFM 2004: 85-106
2003
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Munoz-HernandezM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Munoz-HernandezM03
Susana Muñoz-Hernández, Juan José Moreno-Navarro:
A Real Implementation for Constructive Negation. ICLP 2003: 496-497
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/Herranz-NievaM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/Herranz-NievaM03
Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Rapid Prototyping and Incremental Evolution Using SLAM. IEEE International Workshop on Rapid System Prototyping 2003: 201-
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/xpu/Herranz-NievaM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xpu/Herranz-NievaM03
Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Formal Extreme (and Extremely Formal) Programming. XP 2003: 88-96
2002
[c28]
- view
  - electronic edition @ programmazionelogica.it (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/agp/Munoz-Hernandez02a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/Munoz-Hernandez02a
Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Constructive negation for Prolog: A real implementation. APPIA-GULP-PRODE 2002: 39-52
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HerranzMM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HerranzMM02
Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya:
Declarative Reflection and its Application as a Pattern Language. WFLP 2002: 197-215
[e3]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/agp/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/2002
Juan José Moreno-Navarro, Julio Mariño-Carballo:
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. Facultad de Informática, Universidad Politécnica de Madrid 2002 [contents]
2001
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Munoz-HernandezMH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Munoz-HernandezMH01
Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo:
Efficient Negation Using Abstract Interpretation. LPAR 2001: 485-494
2000
[c25]
- view
  - electronic edition @ arxiv.org
  - references & citations
- export record
  dblp key:
  - conf/aadebug/Herranz-NievaM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Herranz-NievaM00
Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Generation of and Debugging with Logical Pre and Post-Conditions. AADEBUG 2000
[c24]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/Herranz-NievaM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/Herranz-NievaM00
Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. JISBD 2000: 217-228
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/MarinoM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/MarinoM00
Julio Mariño, Juan José Moreno-Navarro:
Using Static Analysis to Compile Non-sequential Functional Logic Programs. PADL 2000: 63-80
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Moreno-NavarroM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Moreno-NavarroM00
Juan José Moreno-Navarro, Susana Muñoz-Hernández:
How to Incorporate Negation in a Prolog Compiler. PADL 2000: 124-140
[c21]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wflp/Herranz-NievaM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Herranz-NievaM00
Ángel Herranz-Nieva, Juan José Moreno-Navarro:
On the Role of Functional-logic Languages for the Debugging of Imperative Programs. WFLP 2000: 23-41
[c20]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wflp/MarinoHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/MarinoHM00
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Partial Predicates for Demand Analysis. WFLP 2000: 324-339
1999
[c19]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/MarinoM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/MarinoM99
Julio Mariño, Juan José Moreno-Navarro:
Using Static Analysis to Compile Non-sequential Functional Logic Programs. ICLP 1999: 614
1998
[c18]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/MarinoM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/MarinoM98
Julio Mariño, Juan José Moreno-Navarro:
Recovering Sequentiality in Functional-Logic Programs. APPIA-GULP-PRODE 1998: 137-150
[c17]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/Moreno-NavarroM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/Moreno-NavarroM98
Juan José Moreno-Navarro, Susana Muñoz-Hernández:
On the Practical Use of Negation in a Prolog Compiler. APPIA-GULP-PRODE 1998: 457-469
1996
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ngc/KuchenLMR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/KuchenLMR96
Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
The Functional Logic Language BABEL and Its Implementation on a Graph Machine. New Gener. Comput. 14(4): 391-427 (1996)
[c16]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/Moreno-NavarroMPHG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/Moreno-NavarroMPHG96
Juan José Moreno-Navarro, Julio Mariño, Andrés del Pozo-Prieto, Ángel Herranz-Nieva, Julio García-Martín:
Adding Type Classes to Functional-Logic Languages. APPIA-GULP-PRODE 1996: 427-438
1995
[c14]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/Moreno-NavarroGP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/Moreno-NavarroGP95
Juan José Moreno-Navarro, Julio García-Martín, Andrés del Pozo-Prieto:
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. GULP-PRODE 1995: 593-606
1994
[c11]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pasco/Pozo-PrietoM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pasco/Pozo-PrietoM94
Andrés del Pozo-Prieto, Juan José Moreno-Navarro:
Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages. PASCO 1994: 316-325
[e1]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/1994w8
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/1994w8
Hassan Aït-Kaci, Michael Hanus, Juan José Moreno-Navarro:
Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994. Max-Planck-Institut für Informatik, Saarbrücken, Germany 1994 [contents]
1993
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/aadebug/Garcia-MartinM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Garcia-MartinM93
Julio García-Martín, Juan José Moreno-Navarro:
Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. AADEBUG 1993: 255-272
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/amast/Garcia-MartinM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Garcia-MartinM93
Julio García-Martín, Juan José Moreno-Navarro:
A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). AMAST 1993: 367-376
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/Moreno-NavarroKMWH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/Moreno-NavarroKMWH93
Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans:
Efficient Lazy Narrowing using Demandedness Analysis. PLILP 1993: 167-183
1992
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Moreno-NavarroR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Moreno-NavarroR92
Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
Logic Programming with Functions and Predicates: The Language BABEL. J. Log. Program. 12(3&4): 191-223 (1992)
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/KuchenLMR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/KuchenLMR92
Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
Implementing a Lazy Functional Logic Language with Disequality Constraints. JICSLP 1992: 207-221
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Jimenez-MartinMM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Jimenez-MartinMM92
José André Jimènez-Martin, Julio Mariño-Carballo, Juan José Moreno-Navarro:
Efficient Compilation of Lazy Narrowing into Prolog. LOPSTR 1992: 253-270
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/KuchenMH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/KuchenMH92
Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo:
Independent AND-Parallel Implementation of Narrowing. PLILP 1992: 24-38
1990
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/alp/Moreno-NavarroKLR90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alp/Moreno-NavarroKLR90
Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo:
Lazy Narrowing in a Graph Machine. ALP 1990: 298-317
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/KuchenLMR90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KuchenLMR90
Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
Graph-based Implementation of a Functional Logic Langugage. ESOP 1990: 271-290
1988
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/alp/Moreno-NavarroR88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alp/Moreno-NavarroR88
Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. ALP 1988: 223-232

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.