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
id I19-R120-10915-23668
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Database (persistent) programming languages
Real time
spellingShingle Ciencias Informáticas
Database (persistent) programming languages
Real time
Cobo, María Laura
Augusto, Juan Carlos
Towards a programming language based on Prior's metric temporal operators
topic_facet Ciencias Informáticas
Database (persistent) programming languages
Real time
description 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 considered by Prior and Rescher ([Pri67a], [Res66]). The language is based on the declarative approach and combines temporal operators to represent order notions with the capability to refer to distance notions. These features provide a very useful tool to handle practical situations with a formal and clear theoretical basement. We provide an algorithm for the implementation of an interpreter of this language, based on the notion of a labelled computation tree [ Gab87]. It can be shown that all queries lead to finite computations. Sorne examples are included to illustrate its behaviour.
format Objeto de conferencia
Objeto de conferencia
author Cobo, María Laura
Augusto, Juan Carlos
author_facet Cobo, María Laura
Augusto, Juan Carlos
author_sort Cobo, María Laura
title Towards a programming language based on Prior's metric temporal operators
title_short Towards a programming language based on Prior's metric temporal operators
title_full Towards a programming language based on Prior's metric temporal operators
title_fullStr Towards a programming language based on Prior's metric temporal operators
title_full_unstemmed Towards a programming language based on Prior's metric temporal operators
title_sort towards a programming language based on prior's metric temporal operators
publishDate 2000
url http://sedici.unlp.edu.ar/handle/10915/23668
work_keys_str_mv AT cobomarialaura towardsaprogramminglanguagebasedonpriorsmetrictemporaloperators
AT augustojuancarlos towardsaprogramminglanguagebasedonpriorsmetrictemporaloperators
bdutipo_str Repositorios
_version_ 1764820466082512897

Ejemplares similares