Ver todos los grupos »

Extensiones de la Programación Lógica (ELP)

DSIC, Universitat Politècnica de València

Responsable: María Alpuente

Contacto: María Alpuente

Big Data, Métodos formales, Paradigmas de Programación

The research group on Extensions of Logic Programming (ELP) works on automated software engineering, advanced software technology, lighthweight formal methods, semantics of programming languages -and its application to the analysis, specification, verification, debugging, testing, learning, certification, transformation and optimization of multi-paradigm programs-, term rewriting systems, logic programming, functional programming, computational logic, machine learning, security and inductive logic programming.

Visitar sitio web »