Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences
LUCID, the dataflow programming language
LUCID, the dataflow programming language
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Modal and temporal logic programming
Temporal logics and their applications
A first-order branching time logic of multi-agent systems
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
A temporal extension of PROLOG
Journal of Logic Programming
Temporal logic programming with bounded universal modality goals
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Intensional logic programming
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Multidimensional programming
Higher-order functional languages and intensional logic
Higher-order functional languages and intensional logic
Multi-dimensional logic programming: theoretical foundations
Theoretical Computer Science - Special issue: theoretical computer science in Australia and New Zealand
Executable Model and Temporal Logics: Proceedings of the IJCAI '93 Workshop, Chambery, France, August 28, 1993
Chronolog (Z): Linear-Time Logic Programming
ICCI '93 Proceedings of the Fifth International Conference on Computing and Information
An Overview of Temporal and Modal Logic Programming
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Annotated Constraint Logic Programming Applied to Temporal Reasoning
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Cactus: A Branching-Time Logic Programming Language
ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
Compiling Higher-Order Functions for Tagged-Dataflow
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Indexical attribute grammars
First-order functional languages and intensional logic
Journal of Functional Programming
The Branching-Time Transformation Technique for Chain Datalog Programs
Journal of Intelligent Information Systems
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
GLU embedded in C++: a marriage between multidimensional and object-oriented programming
Software—Practice & Experience
Temporal stratification tests for linear and branching-time deductive databases
Theoretical Computer Science
Axiomatic semantics of projection temporal logic programs†
Mathematical Structures in Computer Science
A concurrent temporal programming model with atomic blocks
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
Temporal programming languages provide a powerful means for the description and implementation of dynamic systems. However, most temporal languages are based on linear time, a fact that renders them unsuitable for certain types of applications (such as expressing properties of non-deterministic programs). In this paper we introduce the new temporal logic programming language Cactus, which is based on a branching notion of time. In Cactus, the truth value of a predicate depends on a hidden time parameter which varies over a tree-like structure. As a result, Cactus can be used to express in a natural way non-deterministic computations or generally algorithms that involve the manipulation of tree data structures. Moreover, Cactus appears to be appropriate as the target language for compilers or program transformers. Cactus programs can be executed using BSLD-resolution, a proof procedure based on the notion of canonical temporal atoms/clauses.