Algebraic Specification Method of Programming Languages

Hidehiko Kita, Toshiki Sakabe, Yasuyoshi Inagaki. Algebraic Specification Method of Programming Languages. In Eiichi Goto, Keijiro Araki, Taiichi Yuasa, editors, RIMS Symposia on Software Science and Engineering II, Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. Volume 220 of Lecture Notes in Computer Science, pages 144-157, Springer, 1984.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.