Edelmira Pasarella::Publicaciones

Departament de Ciències de la Computació

Universitat Politècnica de Catalunya
C/Jordi Girona Salgado, 1-3, Edifici Omega
E-08034 Barcelona, Spain
Phone: +34 (93) 413 78 67
Fax: +34 (93) 413 77 87
E-mail: edelmira@cs.upc.edu

E. Pasarella, F. Orejas, E. Pino, and M. Navarro. Semantics of structure normal logic programs. Journal of Logic and Algebraic Programming, Elsevier, Vol. 81, Issue 5. pp. 559-484, 2012.
Lucio, P., Orejas, F., Pasarella, E. and Pino, E., A functorial framework for constraint normal logic programming. Applied Categorical Structures, vol. 16, num. 3, pp. 421-450, 2008.
E. Pasarella, F. Orejas, E. Pino and M. Navarro. A transformational semantics of static embedded implication of normal logic programs. In Proc. of International Symposium on Logic-based Program Synthesis and Transformation ( LOPSTR'05Springer LNCS 3901, pp. 133-146
J. Álvez, P. Lucio, F. Orejas, E. Pasarella, E. Pino. An implementation of constructive negation. Proc.of Segundas Jornadas sobre Programación y Lenguajes. Facultad de Informática, Universidad Politécnica de Madrid. pp. 55-70, Spain 2002
F. Orejas, E. Pasarella y E. Pino. Semantics of normal logic programs with embedded implications. In Proc. of the 17th Internatinal Conference on Logic Programming, ICLP 2001. Springer LNCS 2237, pp.255-268.
E. Pasarella, E. Pino and F. Orejas. Constructive negation without subsidiary trees. Proc. of the 9th International Workshop on Functional and Logic Programming, WFLP'2000. Extended version available as technical report LSI-00-44-R of LSI Department - Universitat Politècnica de Catalunya.
E. Pasarella and S. Zabala. Una herramienta para analizar representaciones del tipo abstracto diccionario. In Memoria del V Congreso Iberoamericano de Educación Superior en Computación, México, Septiembre 1996
E. Pasarella, S. Zabala, and C. Zoltan. Un enfoque experimental para la enseñanza de tipos abstractos de datos. In Actas del VII Congreso Latino-Ibero-Americano de Investigación de Operaciones y Sistemas, CLAIO'94, Chile, 1994.
E. Pasarella and C. Zoltan. Algoritmos de ordenamiento: una nueva presentación. In Actas del III Congreso Iberoamericano de Educación Superior en Computación, Chile, 1994.
E. Pasarella and C. Zoltan. Tipos abstractos y algoritmos (versión preliminar). Technical Report CI-1994-003, Universidad Simón Bolívar, Venezuela, 1994.
J. Aráoz, C. Figueira, E. Pasarella, and J. Ravelo. Cálculo de expresiones de reloj en SIGNAL. In Actas de la XIX Conferencia Latinoamericana de Informática. 22as. Jornadas Argentinas de Informática e Investigación Operativa (22 JAIIO-PANEL'93). Trabajos Seleccionados. Tomo 2, Argentina, 1993