Abstract implementation of algebraic specifications in a temporal logic language

DOI10.1007/BF02943403zbMath0725.68069OpenAlexW1997183294MaRDI QIDQ2277861

Huimin Lin, Hongliang Xie, Chun Gong

Publication date: 1991

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943403

zbMATH Keywords

temporal logic languagealgebraic specificationsabstract implementation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Final algebra semantics and data type extensions
• Specifications, models, and implementations of data abstractions
• Algebraic implementation of abstract data types
• Proof of correctness of data representations
• Writing Larch interface language specifications
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• The specification statement

This page was built for publication: Abstract implementation of algebraic specifications in a temporal logic language