Juan José Moreno-Navarro
Orcid: 0000-0001-8842-8359Affiliations:
- Technical University of Madrid, Spain
According to our database1,
Juan José Moreno-Navarro
authored at least 52 papers
between 1988 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Proceedings of the Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence, 2022
2013
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
2009
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker.
J. Object Technol., 2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
2008
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
Proceedings of the Practical Aspects of Declarative Languages, 2008
Modelling Mash-up Resources.
Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008
2007
2005
De la Arquitectura Software al Urbanismo Software: Hacia Nuevas Formas de concebir los Sistemas de Software Intensivo.
Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005
2004
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004
2003
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
2002
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2001
Proceedings of the Logic for Programming, 2001
2000
Partial Predicates for Demand Analysis.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
On the Role of Functional-logic Languages for the Debugging of Imperative Programs.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
Proceedings of the Practical Aspects of Declarative Languages, 2000
Proceedings of the Practical Aspects of Declarative Languages, 2000
Towards Automating the Iterative Rapid Prototyping Process with the SLAM system.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000
Proceedings of the Fourth International Workshop on Automated Debugging, 2000
1998
On the Practical Use of Negation in a Prolog Compiler.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
Recovering Sequentiality in Functional-Logic Programs.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
1996
New Gener. Comput., 1996
Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages.
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996
Adding Type Classes to Functional-Logic Languages.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1995
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming.
Proceedings of the Logic Programming, 1995
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1994
Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages.
Proceedings of the Logic Programming, 1994
1993
Proceedings of the Programming Language Implementation and Logic Programming, 1993
A Formal Definition of an Abstract Prolog Compiler (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993
1992
J. Log. Program., 1992
Proceedings of the Programming Language Implementation and Logic Programming, 1992
Proceedings of the Logic Programming and Automated Reasoning, 1992
Proceedings of the Logic Program Synthesis and Transformation, 1992
Implementing a Lazy Functional Logic Language with Disequality Constraints.
Proceedings of the Logic Programming, 1992
1990
Proceedings of the ESOP'90, 1990
Proceedings of the Algebraic and Logic Programming, 1990
1989
Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica.
PhD thesis, 1989
1988
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing.
Proceedings of the Algebraic and Logic Programming, 1988