Computer Aided Verification of Relational Models

Binary relational algebra provides semantic foundations for major areas of computing, such as database design, state-based modeling and functional programming. Remarkably, static checking support in these areas fails to exploit the full semantic content of relations. In particular, properties such a...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Necco, Claudia Mónica, Oliveira, José R., Visser, Joost, Uzal, Roberto
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2016
Materias:
Ciencias Informáticas
models verification
symbolic execution
extended static checking
strategic term rewriting
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/56730
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares