返回Google圖書搜尋

Using Rewriting Logic to Specify, Program, Integrate, and Reuse Open Concurrent Systems of Cooperating Agents

José MeseguerSRI International. Computer Science LaboratoryKokichi FutatsugiTimothy Winkler

出版	SRI International, Computer Science Laboratory, 1992
URL	http://books.google.com.hk/books?id=-dFjHAAACAAJ&hl=&source=gbs_api

註釋Abstract: "This paper gives an overview of how a logic of action called rewriting logic whose models are concurrent systems and whose deduction is concurrent computation can be used as the basis for a declarative language having features that can substantially advance the state of the art in software technology. Maude, a language directly based on rewriting logic, is introduced and its declarative style of programming concurrent systems is illustrated with examples of functional, object- oriented, and system modules that exhibit its multiparadigm capabilities. Maude's parameterization and modularity features and its support of software reuse are also discussed