An Institution for Imperative RSL Specifications

DOI10.1007/978-3-642-54624-2_22zbMath1407.68309OpenAlexW172607183MaRDI QIDQ5403080

Anne Elisabeth Haxthausen

Publication date: 25 March 2014

Published in: Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54624-2_22

zbMATH Keywords

institutionsalgebraic semanticsformal specification languagesRSLstate-based specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Uses Software

• CASL
• CafeOBJ
• Maude

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Constructor-based observational logic
• Institutions: abstract model theory for specification and programming
• Algebraic Methodology and Software Technology
• Modelling Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Institution for Imperative RSL Specifications