RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

Moreno Navarro, Juan Jose juanjose.moreno@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Actividades

A Modula 2 Implementation of CSP

  • M. Collado, R. Morales y J.J. Moreno Navarro

Acm Sigplan Notices (p. 25-38) - 1/6/1987

  • iMarina

CC-modula: A modula-2 tool to teach concurrent programming

  • Morales-Fernandez R
  • Moreno-Navarro J

Sigcse Bulletin (Association For Computing Machinery, Special Interest Group On Computer Science Education) (p. 19-25) - 1/9/1989

10.1145/70593.70598 Ver en origen

  • ISSN 00978418

Diseño, Semántica e Implementación de BABEL: Un Lenguaje que Integra la Programación Funcional y Lógica

  • Moreno Navarro, Juan José

Boletín Citema (p. 7-16) - 1/1/1990

  • iMarina

INDEPENDENT AND-PARALLEL IMPLEMENTATION OF NARROWING

  • KUCHEN, H
  • MORENONAVARRO, JJ
  • HERMENEGILDO, MV;

Lecture Notes In Computer Science (p. 24-38) - 1/1/1992

10.1007/3-540-55844-6_125 Ver en origen

  • ISSN 03029743

LOGIC PROGRAMMING WITH FUNCTIONS AND PREDICATES - THE LANGUAGE BABEL

  • MORENONAVARRO, JJ
  • RODRIGUEZARTALEJO, M;

J Logic Program (p. 191-223) - 1/1/1992

10.1016/0743-1066(92)90024-w Ver en origen

  • ISSN 07431066

Photochemical air pollution model for the Madrid area

  • San Jose R
  • Rodriguez L
  • Moreno J
  • Sanz M
  • Delgado M

(p. 79-88) - 1/1/1994

  • iMarina

Functional Logic Languages in Europe

  • J.J. Moreno Navarro

Compulog Newsletter - 1/2/1995

  • iMarina

W. on Integration of Declarative Paradigms

  • J.J. Moreno Navarro

The Knowledge Engineering Review (p. 205-208) - 1/2/1995

  • iMarina

The functional logic language BABEL and its implementation on a graph machine

  • Kuchen, H
  • Loogen, R
  • MorenoNavarro, JJ
  • RodriguezArtalejo, M;

New Generation Computing (p. 391-427) - 1/1/1996

10.1007/bf03037211 Ver en origen

  • ISSN 02883635

Graph-Narrowing to Implement a Functional Logic Language

  • H. Kuchen, R. Loogen, J.J. Moreno Navarro y M. Rodriguez Artalejo

New Generation Computing (p. 391-427) - 1/1/1996

  • ISSN 02883635
  • iMarina

Estructuras de datos: realización en PASCAL

  • Manuel Collado
  • Juan José Moreno Navarro
  • Rafael Morales Fernández

1/1/1987

  • ISBN 8486251702
  • iMarina

ProDe'92 (Primer Congreso Nacional de Programación Declarativa)

  • Varios autores

1/1/1992

  • iMarina

Una Introducción a la Programación Orientada a Objetos

  • T. Budd
  • traductor Judith L. García González

1/1/1994

  • iMarina

Diccionario Enciclopédico de Tecnología

  • Moreno Navarro, Juan José, et al.

1/1/1997

  • iMarina

VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)

  • Matilde Celma Giménez
  • Oscar Pastor Acosta
  • Natalia Juristo Juzgado
  • Juan José Moreno Navarro

1/1/2002

  • ISBN 8468802069
  • iMarina

III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003

  • Juan José Moreno Navarro
  • Manuel Palomar Sanz

1/1/2003

  • iMarina

Programación lógica y programación funcional

  • Juan José Moreno Navarro

Estudios Sobre Programación Lógica Y Sus Aplicaciones (p. 35-77) - 1/1/1996

  • iMarina

Declarative Reflection and its Application as a Pattern Language

  • Juan José Moreno Navarro
  • Angel Herranz Nieva

Primeras Jornadas Sobre Programación Y Lenguajes: (Prole 2001) : [Celebradas En] Almagro, [El] 23 Y 24 De Noviembre De 2001 (p. 179-198) - 1/1/2001

  • iMarina

From Executable Specifications to Java

  • Angel Herranz Nieva
  • Juan José Moreno Navarro
  • Noelia Maya

Iii Jornadas De Programación Y Lenguajes (Prole'03): Actas, Alicante, Del 12 Al 14 De Noviembre De 2003 / Juan José Moreno Navarro (Ed. Lit.), Manuel Palomar Sanz (Ed. Lit.) - 1/1/2003

  • iMarina

La investigación en Ingeniería Lingüística en España

  • Moreno Navarro, Juan José

Ciencia, Tecnología Y Lengua Española La Terminología Científica En Español / Coord. Por Reyes Sequera (p. 97-122) - 1/1/2004

  • iMarina

Modeling and reasoning about design patterns in SLAM-SL

  • Herranz A
  • Moreno-Navarro J

Design Pattern Formalization Techniques (p. 206-235) - 1/12/2007

10.4018/978-1-59904-219-0.ch010 Ver en origen

Declarative Reflection in SLAM-SL. Modelling and Reasoning on Design Patterns

  • Juan José Moreno Navarro y Angel Herranz Nieva

Design Pattern Formalization Techniques (Editado Por Toufik Taibi) (p. 206-235) - 1/3/2007

  • iMarina

Simulación de un procesador ARM para la enseñanza de Estructura de Computadores

  • Savins Puertas Martín
  • Juan José Moreno Navarro
  • Francisco J Orts
  • Nicolás C Cruz
  • Juana López Redondo
  • Ester Martín Garzón
  • Pilar Martínez Ortigosa
... Ver más Contraer

Avances En Arquitectura Y Tecnología De Computadores: Actas De Jornadas Sarteco, Cáceres, 18 A 20 De Septiembre De 2019| (p. 235-240) - 1/1/2019

  • iMarina

Extending constructive negation for partial functions in lazy functional-logic languages

  • Moreno-Navarro J

Lecture Notes In Computer Science (p. 213-227) - 1/1/1996

  • ISSN 03029743
  • iMarina

Extending Constructive Negation for Partial Functions in Lazy Narrowing-Based Languages

  • Moreno Navarro, Juan José

Elp 96, Springer Lnai, 1050 (p. 213-228) - 1/5/1996

  • iMarina

Type-Classes for Functional-logic Languages

  • J.J. Moreno Navarro, J. Mariño, J. García Martín, A- Herranz, A. del Pozo

Dagstuhl Seminar On Integration Of Functional And Logic Languages: Dagstuhl Reports - 1/6/1996

  • iMarina

Adding Type-Classes to Functional-logic Languages

  • J.J. Moreno Navarro, J. Mariño, J. García Martín, A- Herranz, A. del Pozo

M. Martelli, M. Navarro (Editores): Proceedings Appia, Gulp, Prode'96, Universidad Del País Vasco, Cursos De Verano (p. 427-438) - 1/7/1996

  • iMarina

Sequentiality in Functional-Logic Programs

  • J.J. Moreno Navarro, J. Mariño

Workshop On Functional And Logic Programming Proceedings, Institut Für Wirtschaftsinformatik, Westfälische-Universität Münster, H. Kuchen (Editor) (p. 228-239) - 1/4/1998

  • iMarina

Recovering Sequentiality in Functional-Logic Programs

  • J.J. Moreno Navarro, J. Mariño

Proceedings Joint Conference On Declarative Programming, Appia, Gulp, Prode'98,Universidad A Coruña, J.L. Freire, M. Falaschi, M. Vilares (Editores) (p. 137-150) - 1/7/1998

  • iMarina

Nuevas tendencias de los lenguajes de programación

  • Moreno Navarro, Juan José

1/7/1998

  • iMarina

On the Expressive Power of Functional-logic Languages for the Real World

  • Moreno Navarro, Juan José

Proceedings 7th Colloquium On Numerical Analysis And Computer Science With Applications, Universidad De Polvdid - Unesco, D. Bainov (Editor) - 1/8/1998

  • iMarina

Using static analysis to compile non-sequential functional logic programs

  • Mariño J
  • Moreno-Navarro J

Lecture Notes In Computer Science (p. 63-80) - 1/1/2000

10.1007/3-540-46584-7_5 Ver en origen

  • ISSN 03029743

How to incorporate negation in a prolog compiler

  • Moreno-Navarro J
  • Muñoz-Hernández S

Lecture Notes In Computer Science (p. 124-140) - 1/1/2000

10.1007/3-540-46584-7_9 Ver en origen

  • ISSN 03029743

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Integración de la Programación Funcional y Lógica

  • Moreno Navarro, Juan José (Participante)
  • K. Indermark (Investigador principal (IP))
  • Rodriguez Artalejo, M. (Investigador principal (IP))

Ejecución: 01-01-1988 - 01-01-1990

  • iMarina

Programación Tolerante a Fallos de Sistemas Distribuidos en Tiempo Real

  • COLLADO MACHUCA, Manuel Enrique (Investigador principal (IP))
  • Moreno Navarro, Juan José (Participante)

Ejecución: 01-01-1989 - 31-12-1990

  • iMarina

Programación Tolerante a Fallos

  • Cerrada Somolinos, J.A. (Investigador principal (IP))
  • Moreno Navarro, Juan José (Asesor)

Ejecución: 01-01-1989 - 31-12-1991

  • iMarina

BABEL: Diseño e Implementación de un lenguaje lógico-funcional concurrente

  • Rodriguez Artalejo, M. (Investigador principal (IP))
  • COLLADO MACHUCA, Manuel Enrique (Investigador principal (IP))
  • Moreno Navarro, Juan José (Investigador/a)

Ejecución: 01-01-1989 - 31-12-1991

  • iMarina

Tools and Applications in Parallel Computing

  • COLLADO MACHUCA, Manuel Enrique (Investigador principal (IP))
  • Moreno Navarro, Juan José (Participante)

Ejecución: Desde 01-06-1989

  • iMarina

Implementaciones Secuenciales y Distribuidas de PROLOG

  • Moreno Navarro, Juan José (Investigador principal (IP))

Ejecución: Desde 01-01-1990

  • iMarina

Network on Excellence in Computational Logic

  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
  • Moreno Navarro, Juan José (Participante)

Ejecución: Desde 01-10-1991

  • iMarina

Construction of Computational Logics, Working Group 6028

  • Dincbas, M. (Investigador principal (IP))
  • Moreno Navarro, Juan José (Participante)

Ejecución: 01-01-1992 - 01-01-1994

  • iMarina

Deducción, computación y paralelismo: Lenguajes e Implementación TIC-41B.

  • Porto. A (Investigador principal (IP))
  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
  • Moreno Navarro, Juan José (Participante)

Ejecución: Desde 01-01-1993

  • iMarina

IPL-D: Implementación paralela de lenguajes declarativos

  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
  • Moreno Navarro, Juan José (Investigador principal (IP))

Ejecución: 01-01-1993 - 31-12-1996

  • iMarina

Semántica y Análisis de Programas Lógico-Funcionales.

  • Moreno Navarro, Juan José (Director) Doctorando: MARIÑO CARBALLO, Julio

1/1/2002

  • iMarina

Semantics and Analysis of Functional-logic Programs

  • Moreno Navarro, Juan José (Director) Doctorando: Julio Mariño Carballo

1/5/2002

  • iMarina

Un sistema de negación para PROLOG.

  • Moreno Navarro, Juan José (Director) Doctorando: MUÑOZ HERNANDEZ, Susana

1/1/2003

  • iMarina

A Negation System for Prolog

  • Moreno Navarro, Juan José (Director) Doctorando: Susana Muñoz Hernández

1/6/2003

  • iMarina

Operational Aspects of Full Reduction in Lambda Calculi

  • Pablo Nogueira Iglesias (Director)
  • Juan José Moreno Navarro (Director) Doctorando: Alvaro Garcia Perez

1/1/2014

  • iMarina

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 5/03/24 18:47