Advances in Software Science and Technology

Prototyping a system of writing tools for Japanese documents, K. Ushigima et al; attribute grammar evaluation system for natural language processing, N. Tamura et al; an object-oriented implementation of TCP/IP network protocols, K-i Murakami; RACCO - a model-logic programming language for writing models of real-time process-control systems, T. Hattori et al; formalizing computer program traces, S. Goto; regular expressions with semantic rules and their application to data structure directed programs, I. Nakata and M. Sassa; misty - an object-oriented programming language with multiple inheritance and strict type checking, Y. Kuno; the semantics of an object-oriented concurrent programming language - process algebraic approach, Y. Ishikawa et al; floating-point numbers and real numbers II, H. Horiguchi; constraint dependency grammar and its weak generative capacity, H. Maruyama; society news - rules for submission of English papers and English paper style guidelines; author's guide; Japan society for software science and technology; membership application form.