Towards a programming language based on Prior's metric temporal operators

Many different areas in Computer Science - like Real Time Systems, Temporal Data Bases, Program Verification and Multimedia-demandan adequate way to represent and use the notions of time and change. We present a programming language which is defined starting from a metric temporallogic previously co...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cobo, María Laura, Augusto, Juan Carlos
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2000
Materias:
Ciencias Informáticas
Database (persistent) programming languages
Real time
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23668
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares