An Institution for Imperative RSL Specifications

DOI10.1007/978-3-642-54624-2_22MaRDI QIDQ5403080zbMATH OpenOpenAlexFDO

Authors 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

algebraic semanticsinstitutionsformal specification languagesRSLstate-based specifications

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1368950
• scientific article; zbMATH DE number 1630101
• Specifications in an arbitrary institution
• Rule-based operational semantics for an imperative language
• The expressive power of implicit specifications
• scientific article; zbMATH DE number 176735
• An axiomatic approach to structuring specifications
• scientific article; zbMATH DE number 1638642
• Implementing relational specifications in a constraint functional logic language

Cites work

• scientific article; zbMATH DE number 2079806 (Why is no real title available?)
• scientific article; zbMATH DE number 2172803 (Why is no real title available?)
• scientific article; zbMATH DE number 2172806 (Why is no real title available?)
• scientific article; zbMATH DE number 795680 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• 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.
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Constructor-based observational logic
• Institutions: abstract model theory for specification and programming
• Modelling Systems

Cited in

(2)

• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 2172805 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maude
• CafeOBJ
• CASL

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

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