OBJ（编程语言）

1 简介

2 OBJ（编程语言）的概述

3 OBJ2

4 OBJ3

简介

编辑

OBJ是由JosephGoguen在1976年推出的一个编程语言系列，并由JoseMeseguer进一步研究。

OBJ（编程语言）的概述

编辑

它是一个陈述性超高级语言系列。它的特点是抽象类型、通用模块、子类型（多继承的子类型）、模式匹配模数方程、E-策略（用户对懒惰的控制）、模块表达式（用于组合模块）、理论和视图（用于描述模块接口），用于大规模并行RRM（重写规则机）。OBJ语言家族的成员包括CafeOBJ、Eqlog、FOOPS、Kumo、Maude、OBJ2和OBJ3。

OBJ（编程语言）

OBJ2

编辑

OBJ2是一种具有Clear-like参数化模块和基于方程的功能系统的编程语言。

OBJ3

编辑

OBJ3是OBJ的一个版本，基于顺序排序的重写法。OBJ3是面向代理的，在京都通用语言AKCL上运行。

内容由匿名用户提供，本内容不代表vibaike.com立场，内容投诉举报请联系vibaike.com客服。如若转载，请注明出处：https://vibaike.com/167773/