scientific article; zbMATH DE number 3890710

zbMATH Open0558.68018MaRDI QIDQ3347271FDOQ3347271

Authors: Hidehiko Kita, Toshiki Sakabe, Yasuyoshi Inagaki 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

abstract data typesequational logicsemantic domainalgebraic specification method of programming language

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (12)

• Essential concepts of algebraic specification and program development
• Title not available (Why is that?)
• An algebraic model for programming languages
• Towards an algebraic specification of code generation
• Algorithmic specifications: a constructive specification method for abstract data types
• The overlanguage method for program specification
• Revised report on the algorithmic language scheme
• On the algebraic definition of programming languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)