Výsledky vyhledávání - "Temporal Logic Programming"

A mechanism of function calls in MSVL Autor Zhang, Nan, Duan, Zhenhua, Tian, Cong

“…Modeling, Simulation and Verification Language (MSVL) is a useful formalism for specification and verification of concurrent systems. To make it more practical…”
Získat plný text

Framed temporal logic programming Autor Duan, Zhenhua, Yang, Xiaoxiao, Koutny, Maciej

“…A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura,…”
Získat plný text

MSVL： a typed language for temporal logic programming Autor WANG, Xiaobing, TIAN, Cong, DUAN, Zhenhua, ZHAO, Liang

“…The development of types is an important but challenging issue in temporal logic programming. In this paper, we investigate how to formalize and implement…”
Získat plný text

Verification of distributed systems with the axiomatic system of MSVL Autor Ma, Qian, Duan, Zhenhua, Zhang, Nan, Wang, Xiaobing

“…Since distributed systems are inherently concurrent and asynchronous, it is a challenge for us to verify distributed systems. MSVL is a useful temporal logic…”
Získat plný text

A temporal programming model with atomic blocks based on projection temporal logic Autor YANG, Xiaoxiao, ZHANG, Yu, FU, Ming, FENG, Xinyu

“…Atomic blocks, a high-level language construct that allows programmers to explicitly specify the atomicity of operations without worrying about the…”
Získat plný text

A framed temporal logic programming language Autor Duan, Zhen-Hua, Koutny, Maciej

“…We discuss the projection temporal logic (PTL), based on a primitive projection operator,prj. A framing technique is also presented, using which a…”
Získat plný text

Temporal stratification tests for linear and branching-time deductive databases Autor Nomikos, Christos, Rondogiannis, Panos, Gergatsoulis, Manolis

“…We consider the problem of extending temporal deductive databases with stratified negation. We argue that the classical stratification test for deductive…”
Získat plný text

Operational semantics of Framed Tempura Autor Yang, Xiaoxiao, Duan, Zhenhua

Získat plný text

Stratified negation in temporal logic programming and the cycle-sum test Autor Rondogiannis, P.

“…We consider stratified negation in temporal logic programming. We demonstrate that the cycle-sum test (which was initially proposed for detecting deadlocks in…”
Získat plný text

The Branching-Time Transformation Technique for Chain Datalog Programs Autor Rondogiannis, Panos, Gergatsoulis, Manolis

“…The branching-time transformation technique has proven to be an efficient approach for implementing functional programming languages. In this paper we…”
Získat plný text

Temporal disjunctive logic programming Autor Gergatsoulis, Manolis, Rondogiannis, Panos, Panayiotopoulos, Themis

Získat plný text

Logical foundations and implementation of an extension of temporal logic Autor Cobo, María Laura, Augusto, Juan Carlos

“…The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many…”
Získat plný text

An Executable Concurrent Model for OWL-S Process Models Autor Zhenhua Duan, Cong Tian

“…This paper investigates an executable concurrent model for OWL-S process models. To this end, a concurrent temporal logic programming language, Framed Temporal…”
Získat plný text

An Interpreter for Framed Tempura and Its Application Autor Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang

“…This paper discusses the implementation mechanism and its application of an interpreter for a framed temporal logic programming language called framed tempura…”
Získat plný text

Branching-time logic programming: the language Cactus and its applications Autor Rondogiannis, P., Gergatsoulis, M., Panayiotopoulos, T.

“…Temporal programming languages provide a powerful means for the description and implementation of dynamic systems. However, most temporal languages are based…”
Získat plný text