Some publications on:
Paradigms Integration
- F. J. DURAN, E. PIMENTEL. Object communication by Extending the Unification. Workshop on Unification. 1995. (abstract, postscript-dvi)
- M. DÍAZ, E. PIMENTEL, J. M. TROYA. DROL: A Distributed and Real-Time Object-Oriented Logic Environment. The Computer Journal. 1994. (abstract, postscript-dvi)
- F. J. DURÁN, E. PIMENTEL, J. M. TROYA. Comunicación entre Objetos mediante la Unificación de Canales Lógicos. GULP-PRODE'94. 1994. (abstract, postscript-dvi)
- F. J. DURÁN, E. PIMENTEL, J. M. TROYA. State Change and Communication by Extending Unification. Workshop on Logical Foundations of Object-Oriented Programming, ECOOP'94. 1994. (abstract, postscript-dvi)
- E. PIMENTEL, J. M. TROYA. Operational and Declarative Semantics of L2||O2. III Jornadas sobre Concurrencia. 1993. (abstract, postscript-dvi)
- E. PIMENTEL, J. M. TROYA. Compositionality Issues of Concurrent Object-Oriented Logic languages. III Jornadas sobre Concurrencia. 1993. (abstract, postscript-dvi)
- E. PIMENTEL, J. M. TROYA. Una Extensión de la Unificación para Integrar Lógica, Concurrencia y Objetos. PRODE'93. 1993. (abstract, postscript-dvi)
- M. DÍAZ, E. PIMENTEL, J. M. TROYA. A Declarative Environment for Distributed Programming. Information Processing. 1992. (abstract, postscript-dvi)
- E. PIMENTEL, J. M. TROYA. L2||O2: Operational and Declarative Semantics. 4th UK Conference on Logic Programming. 1992. (abstract, postscript-dvi)
Modularity in Declarative Programming
- J. M. MOLINA, E. PIMENTEL. Modularity in Functional-Logic Programming. International Conference on Logic Programming. 1997. (abstract, postscript-dvi)
- J. M. MOLINA, E. PIMENTEL. Semantics for Modules in Functional-Logic Programming. Joint Conference on Declarative Programming AGP'97. 1997. (abstract, postscript-dvi)
Logics and Models for Concurrency
- P. LÓPEZ, E. PIMENTEL. A Lazy Splitting System for Forum. Joint Conference on Declarative Programming AGP'97. 1997. (abstract, postscript-dvi)
- P. LÓPEZ, E. PIMENTEL. Un Sistema de Partición Perezosa para Forum. III Jornadas de Informática. 1997. (abstract, postscript-dvi)
- E. PIMENTEL, J. M. TROYA. Compositionality Issues in Concurrent Object-Oriented Languages. Parallel Architectures and Languages Europe. 1993. (abstract, postscript-dvi)
Software Architectures
- C. CANAL, E. PIMENTEL, J. M. TROYA. Specification and Refinement of Dynamic Software Architectures. First Working IFIP Conference on Software Architecture. 1999. (abstract, postscript-dvi)
- C. CANAL, E. PIMENTEL, J. M. TROYA. Specification of Interacting Software Components: a Case Study. II Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes de Software. 1999. (abstract, postscript-dvi)
- C. CANAL, L. FUENTES, E. PIMENTEL, J. M. TROYA. Component-Oriented Development of Interactive Systems. I Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes Software. 1998. (abstract, postscript-dvi)
- C. CANAL, E. PIMENTEL, J. M. TROYA. On the Composition and Extension of Software Components. Foundations of Component-Based Systems Workshop. 1997. (abstract, postscript-dvi)
- C. CANAL, E. PIMENTEL, J. M. TROYA. An Object-Oriented Approach to Software Architecture Specification. ECOOP'97 Workshop for Doctoral Students in Object-Oriented Systems. 1997. (abstract, postscript-dvi)
- C. CANAL, E. PIMENTEL, J. M. TROYA. A Formal Specification Language for the Description of Architectural Patterns in Sofware Systems. Argentine Symposium on Object-Orientation. 1997. (abstract, postscript-dvi)
- C. CANAL, E. PIMENTEL, J. M. TROYA. LEDA: A Specification Language for Software Architecture. II Jornadas en Ingeniería del Software. 1997. (abstract, postscript-dvi)
- C. CANAL, E. PIMENTEL, J. M. TROYA. Software Architecture Specification with pi-calculus. I Jornadas en Ingeniería del Software. 1996. (abstract, postscript-dvi)
Object-Orientation
- A. J. NEBRO, E. PIMENTEL, J. M. TROYA. Distributed Objects: An Approach based on Replication and Migration. Journal of Object-Oriented Programming. 1999. (abstract, postscript-dvi)
- M. KATRIB, F. ÁVILA, E. PIMENTEL. Una propuesta de concurrencia para Java basada en aserciones. II Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes de Software. 1999. (abstract, postscript-dvi)
- E. PIMENTEL, F. GUTIÉRREZ. Smalltalk. Chapter 19. Handbook of Object Technology. 1998. (abstract, postscript-dvi)
- A. J. NEBRO, E. PIMENTEL, J. M. TROYA. Evaluating a Multithreaded Run-Time System for Concurrent Object-Oriented Languages. International Symposium on Computing in Object-Oriented Parallel Environments. 1998. (abstract, postscript-dvi)
- M. KATRIB, D. FERNÁNDEZ, F. ÁVILA, E. PIMENTEL. Integración de aserciones y concurrencia en Java. III Jornadas de Ingeniería del Software. 1998. (abstract, postscript-dvi)
- A. J. NEBRO, E. PIMENTEL, J. M. TROYA. Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. ECOOP'97 Workshop on Object Orientation and Operating Systems. 1997. (abstract, postscript-dvi)
- A. J. NEBRO, E. PIMENTEL, J. M. TROYA. Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. International EURO-PAR Conference. 1997. (abstract, postscript-dvi)
- M. CARRILLO, J. GARCIA, E. PIMENTEL, I. REPISO. Design by Contract in Smalltalk. Journal of Object-Oriented Programming. 1996. (abstract, postscript-dvi)
- E. PIMENTEL, C. CANAL, F. J. DURAN. Una experiencia en la enseñanza del Diseño Orientado a Objetos. EDUC'96. 1996. (abstract, postscript-dvi)
- M. CARRILLO, J. GARCÍA, E. PIMENTEL. Eiffel-like Assertions and Private Methods in Smalltalk. TOOLS'94. 1994. (abstract, postscript-dvi)
- J. GALLARDO, E. PIMENTEL, J. M. TROYA. Una Herramienta de Visualización en Smalltalk. I Jornadas CentroAmericanas de Informática y Automática. 1994. (abstract, postscript-dvi)
- E. PIMENTEL, I. REPISO, J. M. TROYA. Construcción de Software Tolerante a Fallos en Smalltalk. I Jornadas CentroAmericanas de Informática y Automática. 1994. (abstract, postscript-dvi)
- E. PIMENTEL, J. M. TROYA. An Integration of Logic and Objects. First Compulog Net Workshop on Parallelism and Implementation Technologies. 1993. (abstract, postscript-dvi)