scientific article; zbMATH DE number 4005584

MaRDI QIDQ3756503zbMATH OpenFDO

Authors Matthias Anlauff

Publication date 1987

zbMATH Keywords

program specificationprogram transformationtransformation rules

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The Munich project CIP. Volume II: The program transformation system CIP- S
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• scientific article; zbMATH DE number 3872647
• Formal program construction by transformations-computer-aided, intuition-guided programming
• scientific article; zbMATH DE number 3872646

Cited in

(4)

• CSI: MSRI
• The Munich project CIP. Volume II: The program transformation system CIP- S
• scientific article; zbMATH DE number 3872647 (Why is no real title available?)
• The Munich project CIP. Volume I: The wide spectrum language CIP-L

This page was built for publication:

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