Contents of Report

[Data of Report]

Report Number:: TR0097
Date of Registration:: 1984.12
English Title:: Principle of OBJ2
Japanese Title:: ***
English Author:: K.Futatsugi,Joseph.A.Goguen,Jean-Pierre Jouannaund,Jose Meseguer
Japanese:: ***
Name of Organization to which author belongs:: ETL,SRI International,SRI International,Stanford Univ.
PDF:: tr0097.pdf

	Table of Contents	.... 2
1	Introduction	.... 3
1.1	Modules and Generics	.... 3
1.2	Subsorts	.... 4
1.3	Implementation Techiniques	.... 4
1.4	Interraction and Flexibility	.... 5
2	Modules and Generics	.... 5
2.1	Objects ; Syntax and Semantics	.... 5
2.2	Hierarchy of Modules	.... 7
2.3	Parameterized Objects and Theories	.... 8
2.4	Views	.... 9
2.5	Module Expressions	.... 10
3	Subsorts	.... 11
3.1	Partial Opereations and Sort Constraints	.... 12
3.2	Logic of Subsorts	.... 14
3.3	Error Handling and Recovery	.... 15
4	Implementations Priciples	.... 16
4.1	Command Interpreter Generator	.... 16
4.2	Parser	.... 19
4.3	Database and Module expression Evaluator	.... 20
4.4	Rewrite Rule Engine	.... 21
4.5	User Defined Built-Ins	.... 23
5	Past, Present and Future	.... 24
6	References	.... 26
7	Appendix	.... 32
	End	.... 34

目次をクリックすると、PDFファイルが表示されます。