Computer simulation is a powerful tool for evaluating the factors and parameters involved in
various types of decision making ranging from product mix to activity scheduling. With …

In this paper we demonstrate that a broad class of higher-order functional programs can be
transformed into semantically equivalent multidimensional intensional programs that contain …

Many-core parallel computing and programming are new challenges to formal specification
and verification. This paper presents a semantic model for many-core parallel computing …

Temporal programming languages provide a powerful means for the description and
implementation of dynamic systems. However, most temporal languages are based on …

In this paper, we investigate the axiomatic semantics of the projection temporal logic
programming language MSVL. To this end, we employ Propositional Projection Temporal …

Temporal and modal logics have been used in many applications in Artificial Intelligence
and Computer Science for the manipulation of information with timedependent or, in …

In this article, we present a declarative propositional temporal logic programming language
called TeDiLog that is a combination of the temporal and disjunctive paradigms in logic …

This article introduces the basic notions behind the intensional programming paradigm.
Intensional Logic—which is the underlying theoretical framework of intensional languages is …

Traditional implementation techniques for temporal logic programming languages are based
on the notion of canonical temporal atoms/clauses. Although such an approach is …

We consider stratified negation in temporal logic programming. We demonstrate that the
cycle-sum test (which was initially proposed for detecting deadlocks in the context of …