Salvador Lucas

Professor (versión española )

On sabbatical leave at the CS Department of the University of Illinois at Urbana-Champaign (UIUC)

Departamento de Sistemas Informáticos y Computación
Universidad Politécnica de Valencia
Camino de Vera s/n
E-46022 Valencia, Spain
Phone: +34 96 387 7007 (ext. 73531)
Fax: +34 96 387 7359
e-mail: slucas@dsic.upv.es
URL: http://www.dsic.upv.es/~slucas

Member of the ELP research group

 

Available


Publications
Research activities
Workshop on Reduction Strategies in Rewriting and Programming (WRS) - Permanent site
WWW site on termination of Context-Sensitive Rewriting (CSR)
Publications of the ELP group

Research interests


Abstract Interpretation
Formal Methods
Semantics
Functional Programming
Integration of functional and logic programming
Rewriting

Teaching


Declarative Programming

[ELP|GPLIS|DSIC|UPV]