Semantics of temporal classes

DOI10.1006/inco.2000.2891zbMath1003.68026OpenAlexW2008721524MaRDI QIDQ1854386

Suad Alagic

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.2000.2891

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Uses Software

• Eiffel
• METATEM
• PolyTOIL
• Esterel

Cites Work

• Timed default concurrent constraint programming
• The Esterel synchronous programming language: Design, semantics, implementation
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Order-sorted model theory for temporal executable specifications
• Specifying Concurrent Program Modules
• Institutions: abstract model theory for specification and programming
• Logical foundations of object-oriented and frame-based languages
• Constructing systems as object communities
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics of temporal classes