Activities of the Valencia ELP Group
The current activity is
mainly oriented
to
Automated
software engineering; Lighthweight
Formal Methods
Advanced
software technology
Semantics of
programming languages and its application to the
analysis,
specification, verification, debugging, testing, learning,
certification, transformation & optimization of
(multiparadigm)
programs.
Multiparadigm
(declarative) Programming: functional, logic, concurrent, mobile
programs
Programming
Languages: design and implementation
Term Rewriting
Systems; Logic Programming; Functional
Programming
Computational Logic
Machine
Learning; Inductive Logic Programming
with very strong links
among these areas.