scientific article; zbMATH DE number 512880

MaRDI QIDQ4281579zbMATH OpenFDO

Authors Uwe Kastens

Publication date 10 March 1994

zbMATH Keywords

language implementationprograms from specifications

Mathematics Subject Classification ID

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

Recommendations

• Functional programs as executable specifications
• Interpretable program specification language
• scientific article; zbMATH DE number 1487948
• scientific article; zbMATH DE number 3860370
• Language prototyping: An algebraic specification approach

Cited in

(8)

• A language of specified programs
• Language prototyping: An algebraic specification approach
• scientific article; zbMATH DE number 3860370 (Why is no real title available?)
• Engineering the SDL formal language definition.
• Executable semantic descriptions
• scientific article; zbMATH DE number 1487948 (Why is no real title available?)
• scientific article; zbMATH DE number 1368954 (Why is no real title available?)
• scientific article; zbMATH DE number 765178 (Why is no real title available?)

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 Q4281579)