W. on Integration of Declarative Paradigms

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

• iMarina

Turing year in Spain

Ercim News - 1/10/2012

• iMarina

Turing cambió el mundo

El Cultural. Diario El Mundo - 1/6/2012

• iMarina

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

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

10.1007/bf03037211 View at source

• ISSN 02883635

• iMarina

Teaching how to derive correct concurrent programs from state-based specifications and code patterns

Lecture Notes In Computer Science (p. 85-106) - 1/1/2004

• ISSN 03029743

• iMarina

Stepwise refinement validation of design patterns formalized in TLA+ using the TLC model checker

Journal Of Object Technology (p. 137-161) - 1/1/2009

10.5381/jot.2009.8.2.a3 View at source

• ISSN 16601769

• iMarina

Special Issue on Extensions on Logic Programming

Computer Languages (p. 2-4) - 1/1/1997

• iMarina

Retos de la Universidad española

Revista Formación Xxi - 1/7/2010

• iMarina

Photochemical air pollution model for the Madrid area

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

• iMarina

Modernización universitaria: docencia, investigación, transferencia e innovación

Revista De La Sociedad Española De Bioquímica Y Biología Molecular - 1/1/2011

• iMarina

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

1/1/2002

• ISBN 8468802069

• iMarina

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

1/1/1994

• iMarina

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

1/1/1992

• iMarina

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

1/1/2003

• iMarina

Estructuras de datos: realización en PASCAL

1/1/1987

• ISBN 8486251702

• iMarina

Diccionario Enciclopédico de Tecnología

1/1/1997

• iMarina

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

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

Programación lógica y programación funcional

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

• iMarina

Modeling and reasoning about design patterns in SLAM-SL

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

10.4018/978-1-59904-219-0.ch010 View at source

• iMarina

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

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

From Executable Specifications to Java

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

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

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

• iMarina

Declarative Reflection and its Application as a Pattern Language

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

e-infraestructuras – Tecnologías Grids

1/10/2005

• iMarina

Visualization as debugging: Understanding/debugging the warren abstract machine

Lecture Notes In Computer Science (p. 255-272) - 1/1/1993

• ISSN 03029743

• iMarina

Valorización de la investigación en salud -Tercera misión de las universidades

30/6/2016

• iMarina

Using static analysis to compile non-sequential functional logic programs

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

10.1007/3-540-46584-7_5 View at source

• ISSN 03029743

• iMarina

Using Demandedness Analysis on the Compilation of Lazy Narrowing

Fim-Report, F. Bueno, J.J. Moreno Navarro, M. Hermenegildo (Editores) - 1/5/1993

• iMarina

Using Conversations to Implement Resilient Objects in Distributed Systems

Preprints Of The Ifac/Ifip Workshop On Distributed Databases In Real Time Control, Ifac, 1989, M.G. Rodd, E. Knuth (Editores) (p. 509-514) - 1/10/1989

10.1016/0066-4138(90)90026-n View at source

• ISSN/ISBN 0066-4138

• Dialnet
• iMarina

Understanding the Compilation of Prolog. Towards a Clear and Good Description and an Interactive Tutorial of the Warren Abstract Machine

Prode'91, J.M. Troya, T. Hortalá (Editores) (p. 448-462) - 1/10/1991

• iMarina

Type-Classes for Functional-logic Languages

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

• iMarina

Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming

Gulp-Prode'95. Universidad De Salerno - 10/9/1995

• iMarina

Triángulo Ciencia-Instituciones-Empresa, y ahora qué?

29/6/2011

• iMarina

Vulcano: Software de proyectos Software de calidad

Period: From 01-01-2006

• iMarina

Verification of Object Oriented Languajes

Period: 01-01-2008 - 31-12-2012

• iMarina

Tools and Applications in Parallel Computing

Period: From 01-06-1989

• iMarina

Tecnologías rigurosas para software de nueva generación abierto y fiable

Period: 01-01-2013 - 30-06-2017

Type of funding: National

Amount of funding: 36644,40 Euros.

• iMarina

Software Services and Systems Network

Period: 01-03-2008 - 29-02-2012

Type of funding: International

Amount of funding: 238618,00 Euros.

• iMarina

STRONGSOFT: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE

Period: 01-10-2012 - 30-09-2015

• iMarina

SOFIA: Software Fiable de Alta Calidad

Period: 28-12-2000 - 27-12-2003

• iMarina

SOFFIE: Software Fiable y Extensible de Alta Calidad

Period: 01-01-2003 - 31-12-2006

• iMarina

S-CUBE: The Software Services and Systems Network, Red de Excelencia ICT- 215483

Period: 01-01-2008 - 31-12-2012

• iMarina

Representación del conocimiento con Información Negativa, HP2005-0107

Period: From 01-01-2005

• iMarina

Un sistema de negación para PROLOG.

1/1/2003

• iMarina

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

1/1/2002

• iMarina

Semantics and Analysis of Functional-logic Programs

1/5/2002

• iMarina

Operational Aspects of Full Reduction in Lambda Calculi

1/1/2014

• iMarina

A Negation System for Prolog

1/6/2003

• iMarina