scientific article; zbMATH DE number 3890710

zbMATH Open0558.68018MaRDI QIDQ3347271FDOQ3347271

Authors Hidehiko Kita, Toshiki Sakabe, Yasuyoshi Inagaki

Publication date 1985

zbMATH Keywords

abstract data typesequational logicsemantic domainalgebraic specification method of programming language

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• On the algebraic definition of programming languages
• scientific article; zbMATH DE number 3872655
• scientific article; zbMATH DE number 3936495
• scientific article; zbMATH DE number 3936493
• Algorithmic specifications: a constructive specification method for abstract data types

Cited in

(12)

• Revised report on the algorithmic language scheme
• scientific article; zbMATH DE number 3890697 (Why is no real title available?)
• On the algebraic definition of programming languages
• Essential concepts of algebraic specification and program development
• The overlanguage method for program specification
• scientific article; zbMATH DE number 4033047 (Why is no real title available?)
• scientific article; zbMATH DE number 3880080 (Why is no real title available?)
• Towards an algebraic specification of code generation
• Algorithmic specifications: a constructive specification method for abstract data types
• scientific article; zbMATH DE number 3936504 (Why is no real title available?)
• scientific article; zbMATH DE number 3905828 (Why is no real title available?)
• An algebraic model for programming languages

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