Semantics of temporal constrained objects

DOI10.1016/J.JLAMP.2020.100632MaRDI QIDQ1996867zbMATH OpenOpenAlexFDO

Authors 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

constraint logic programsmetric temporal operatorssemanticsseries variablestemporal constrained objectstemporal constraint logic programs

Mathematics Subject Classification ID

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

Recommendations

• Semantics for temporal annotated constraint logic programming
• Foundations of Information and Knowledge Systems
• Two semantics for temporal annotated constraint logic programming
• Semantics of temporal classes
• Temporal object-oriented programming

Cites work

• A really temporal logic
• A theory of timed automata
• A timed concurrent constraint language.
• Analysis of Linear Hybrid Systems in CLP
• Contributions to the Theory of Logic Programming
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 177509 (Why is no real title available?)
• scientific article; zbMATH DE number 1536571 (Why is no real title available?)
• scientific article; zbMATH DE number 1374043 (Why is no real title available?)
• Programming in metric temporal logic
• Temporal logic programming
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Timed default concurrent constraint programming
• Verifying complex continuous real-time systems with coinductive CLP(R)

Cited in

(5)

• Order-sorted model theory for temporal executable specifications
• Semantics of temporal classes
• Linear time-dependent constraints programming with MSVL
• On the semantics of durational actions
• Semantic domains of timed event structures

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1996867)