Operational semantics of Framed Tempura

DOI10.1016/j.jlap.2008.08.001zbMath1170.68006MaRDI QIDQ2378283

Zhenhua Duan, Xiao-Xiao Yang

Publication date: 7 January 2009

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2008.08.001

zbMATH Keywords

consistency; operational semantics; temporal logic programming; nonmonotonicity; minimal model

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68N17: Logic programming

Related Items

A cylinder computation model for many-core parallel computing, A complete proof system for propositional projection temporal logic, A temporal programming model with atomic blocks based on projection temporal logic, Linear time-dependent constraints programming with MSVL, Model checking Petri nets with MSVL, Translating Xd-C programs to MSVL programs, A structural transformation from p-\(\pi\) to MSVL, Axiomatic semantics of projection temporal logic programs

Uses Software

• CACTUS
• METATEM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Temporal logic programming
• Temporal semantics for concurrent METATEM
• Negation in rule-based database languages: A survey
• A practical theory of programming
• Using branching time temporal logic to synthesize synchronization skeletons
• Programming in metric temporal logic
• A calculus of communicating systems
• MetateM: An introduction
• Framed temporal logic programming
• A decision procedure for propositional projection temporal logic with infinite models
• A lattice-theoretical fixpoint theorem and its applications
• Guarded commands, nondeterminacy and formal derivation of programs
• Communicating sequential processes
• Branching-time logic programming: the language Cactus and its applications
• Operational Semantics of Framed Temporal Logic Programs
• Logic Programming