Order-sorted model theory for temporal executable specifications

DOI10.1016/S0304-3975(96)00134-XMaRDI QIDQ1391744zbMATH OpenOpenAlexFDO

Authors Mara Alagić, Suad Alagić

Publication date 22 July 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(96)00134-x

zbMATH Keywords

temporal Horn clause logic basis

Mathematics Subject Classification ID

Logic programming (68N17) Theory of software (68N99)

Recommendations

• Semantics of temporal classes
• Semantics of temporal constrained objects
• scientific article; zbMATH DE number 4076583
• Temporal annotated constraint logic programming

Cites work

• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• scientific article; zbMATH DE number 54243 (Why is no real title available?)
• scientific article; zbMATH DE number 1536547 (Why is no real title available?)
• scientific article; zbMATH DE number 1536572 (Why is no real title available?)
• Logical foundations of object-oriented and frame-based languages
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Specifying Concurrent Program Modules

Cited in

(2)

• Semantics of temporal classes
• On the Completeness of Context-Sensitive Order-Sorted Specifications

Describes a project that uses

Uses Software

• METATEM

This page was built for publication: Order-sorted model theory for temporal executable specifications

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