Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Salvador Lucas
[go: Go Back, main page]

Salvador Lucas

Associate Professor (versión española )

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

>>> Submit papers to AISC'06 and WRS'06 ! <<<

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]