Semantics of temporal constrained objects

DOI10.1016/j.jlamp.2020.100632OpenAlexW3106836616MaRDI QIDQ1996867

Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan

Publication date: 26 February 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2020.100632

zbMATH Keywords

semanticsconstraint logic programsmetric temporal operatorsseries variablestemporal constrained objectstemporal constraint logic programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• Temporal logic programming
• Timed default concurrent constraint programming
• Programming in metric temporal logic
• A theory of timed automata
• A timed concurrent constraint language.
• Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
• Analysis of Linear Hybrid Systems in CLP
• Contributions to the Theory of Logic Programming
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• A really temporal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics of temporal constrained objects