![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Juan José Moreno-Navarro
Person information
- affiliation: Technical University of Madrid, Spain
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c44]Verónica Dahl
, Juan José Moreno-Navarro
:
Doughnut Computing in City Planning for Achieving Human and Planetary Rights. IWINAC (1) 2022: 562-572
2010 – 2019
- 2013
- [c43]Á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
2000 – 2009
- 2009
- [j7]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]Ángel Herranz-Nieva
, Julio Mariño, Manuel Carro
, Juan José Moreno-Navarro:
Modeling Concurrent Systems with Shared Resources. FMICS 2009: 102-116 - 2008
- [j6]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]Pablo Nogueira, Juan José Moreno-Navarro:
Bialgebra views: a way for polytypic programming to cohabit with data abstraction. ICFP-WGP 2008: 61-73 - [c40]Ivan Perez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Modelling Mash-up Resources. JISBD 2008: 135-146 - [c39]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]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]Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Extending Constructive Logic Negation with Types. WFLP 2008: 183-198 - 2007
- [j5]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]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]Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Demand Analysis with Partial Predicates. CoRR abs/cs/0602008 (2006) - 2005
- [c36]Juan José Moreno-Navarro:
De la Arquitectura Software al Urbanismo Software: Hacia Nuevas Formas de concebir los Sistemas de Software Intensivo. JISBD 2005: 179-186 - 2004
- [c35]Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro:
Constructive Intensional Negation. FLOPS 2004: 39-54 - [c34]Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Implementation Results in Classical Constructive Negation. ICLP 2004: 284-298 - [c33]Juan José Moreno-Navarro, Susana Muñoz-Hernández:
Soundness and Completeness of an "Efficient" Negation for Prolog. JELIA 2004: 279-293 - [c32]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]Susana Muñoz-Hernández, Juan José Moreno-Navarro:
A Real Implementation for Constructive Negation. ICLP 2003: 496-497 - [c30]Ángel Herranz-Nieva
, Juan José Moreno-Navarro:
Rapid Prototyping and Incremental Evolution Using SLAM. IEEE International Workshop on Rapid System Prototyping 2003: 201- - [c29]Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Formal Extreme (and Extremely Formal) Programming. XP 2003: 88-96 - 2002
- [c28]Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Constructive negation for Prolog: A real implementation. APPIA-GULP-PRODE 2002: 39-52 - [c27]Ángel Herranz-Nieva
, Juan José Moreno-Navarro, N. Maya:
Declarative Reflection and its Application as a Pattern Language. WFLP 2002: 197-215 - [e3]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] - [e2]Matilde Celma, Oscar Pastor, Natalia Juristo Juzgado, Juan José Moreno-Navarro:
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 19-21 Noviembre 2002, El Escorial (Madrid). 2002, ISBN 84-688-0206-9 [contents] - 2001
- [c26]Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo:
Efficient Negation Using Abstract Interpretation. LPAR 2001: 485-494 - 2000
- [c25]Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Generation of and Debugging with Logical Pre and Post-Conditions. AADEBUG 2000 - [c24]Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. JISBD 2000: 217-228 - [c23]Julio Mariño, Juan José Moreno-Navarro:
Using Static Analysis to Compile Non-sequential Functional Logic Programs. PADL 2000: 63-80 - [c22]Juan José Moreno-Navarro, Susana Muñoz-Hernández:
How to Incorporate Negation in a Prolog Compiler. PADL 2000: 124-140 - [c21]Á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]Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Partial Predicates for Demand Analysis. WFLP 2000: 324-339
1990 – 1999
- 1999
- [c19]Julio Mariño, Juan José Moreno-Navarro:
Using Static Analysis to Compile Non-sequential Functional Logic Programs. ICLP 1999: 614 - 1998
- [c18]Julio Mariño, Juan José Moreno-Navarro:
Recovering Sequentiality in Functional-Logic Programs. APPIA-GULP-PRODE 1998: 137-150 - [c17]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]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]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 - [c15]Juan José Moreno-Navarro:
Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. ELP 1996: 213-227 - 1995
- [j3]Juan José Moreno-Navarro:
Workshop on Integration of Declarative Paradigms. Knowl. Eng. Rev. 10(2): 205-208 (1995) - [c14]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 - [c13]Juan José Moreno-Navarro:
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. ICLP 1995: 829 - 1994
- [c12]Juan José Moreno-Navarro:
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. ICLP 1994: 535-549 - [c11]Andrés del Pozo-Prieto, Juan José Moreno-Navarro:
Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages. PASCO 1994: 316-325 - [e1]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]Julio García-Martín, Juan José Moreno-Navarro:
Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. AADEBUG 1993: 255-272 - [c9]Julio García-Martín, Juan José Moreno-Navarro:
A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). AMAST 1993: 367-376 - [c8]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]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]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]José André Jimènez-Martin, Julio Mariño-Carballo, Juan José Moreno-Navarro:
Efficient Compilation of Lazy Narrowing into Prolog. LOPSTR 1992: 253-270 - [c5]Julio García Marrtín, Juan José Moreno-Navarro:
FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. LPAR 1992: 487-489 - [c4]Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo:
Independent AND-Parallel Implementation of Narrowing. PLILP 1992: 24-38 - 1990
- [c3]Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo:
Lazy Narrowing in a Graph Machine. ALP 1990: 298-317 - [c2]Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
Graph-based Implementation of a Functional Logic Langugage. ESOP 1990: 271-290
1980 – 1989
- 1989
- [b1]Juan José Moreno-Navarro:
Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica. Technical University of Madrid, Spain, 1989 - [j1]R. Morales-Fernandez, Juan José Moreno-Navarro:
CC-modula: a modula-2 tool to teach concurrent programming. ACM SIGCSE Bull. 21(3): 19-25 (1989) - 1988
- [c1]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
Coauthor Index
aka: Julio Mariño
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint