A model inference system for generic specification with application to code sharing

DOI10.1007/3-540-59293-8_232MaRDI QIDQ5096762zbMATH OpenOpenAlexFDO

Authors Didier Bert, C. Oriat

Publication date 18 August 2022

Published in TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59293-8_232

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1678385
• Structuring of specification modules (extended)
• Inferring program specifications in polynomial-time
• A modular module system
• A language for generic programming in the large

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3942988 (Why is no real title available?)
• scientific article; zbMATH DE number 4078762 (Why is no real title available?)
• scientific article; zbMATH DE number 4090765 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983

Cited in

(1)

• Detecting equivalence of modular specifications with categorical diagrams

This page was built for publication: A model inference system for generic specification with application to code sharing

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