OBJ（编程语言）
词条百科 1
目录
简介
OBJ是由JosephGoguen在1976年推出的一个编程语言系列，并由JoseMeseguer进一步研究。
OBJ（编程语言）的概述
它是一个陈述性超高级语言系列。它的特点是抽象类型、通用模块、子类型（多继承的子类型）、模式匹配模数方程、E-策略（用户对懒惰的控制）、模块表达式（用于组合模块）、理论和视图（用于描述模块接口），用于大规模并行RRM（重写规则机）。OBJ语言家族的成员包括CafeOBJ、Eqlog、FOOPS、Kumo、Maude、OBJ2和OBJ3。
OBJ2
OBJ2是一种具有Clear-like参数化模块和基于方程的功能系统的编程语言。
OBJ3
OBJ3是OBJ的一个版本，基于顺序排序的重写法。OBJ3是面向代理的，在京都通用语言AKCL上运行。
内容来源于网络，本内容不代表16map.com立场，内容投诉举报请联系16map.com客服。如若转载，请注明出处：https://16map.com/wiki/nmteyi2loidm