scientific article; zbMATH DE number 3902006

MaRDI QIDQ3680248zbMATH OpenFDO

Authors Sam Kamin

Publication date 1985

zbMATH Keywords

Backus's FP languageexecutable specifications of data typesFASE system

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Functional programs as executable specifications
• scientific article; zbMATH DE number 3892548
• scientific article; zbMATH DE number 1262881
• On an approach to functional specification of automata systems. II
• scientific article; zbMATH DE number 2172806

Cited in

(4)

• Finite generation of ambiguity in context-free languages
• Response to ``The formal specification of safety requirements for storing explosives
• Functional programs as executable specifications
• scientific article; zbMATH DE number 3892548 (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 Q3680248)