External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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.

Abstract

Abstract is missing.

runs on