PROGRAMMING WITH EQUALITIES, SUBSORTS, OVERLOADING, AND PARAMETRIZATION IN OBJ

被引：6

作者：

JOUANNAUD, JP

KIRCHNER, C

KIRCHNER, H

MEGRELIS, A

机构：

[1] UNIV PARIS 11, CTR ORSAY, F-91405 ORSAY, FRANCE

[2] INRIA LORRAINE, F-54600 VILLERS LES NANCY, FRANCE

[3] CNRS, CRIN, F-54600 VILLERS LES NANCY, FRANCE

来源：

JOURNAL OF LOGIC PROGRAMMING | 1992年 / 12卷 / 03期

关键词：

D O I：

10.1016/0743-1066(92)90027-Z

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

OBJ is a declarative language, with mathematical semantics given by order-sorted equational logic and an operational semantics based on order-sorted term rewriting. OBJ also has user-definable abstract data types with mixfix syntax and a flexible type system that supports overloading and subtypes. In addition, OBJ has a powerful generic module mechanism, including nonexecutable "theories" as well as executable "objects", plus "module expressions" that construct whole subsystems. Design and implementation choices for the OBJ interpreter are described here in detail.

引用

页码：257 / 279

页数：23

共 51 条

[1]

[Anonymous], RESOLUTION EQUATIONS

[2]

[Anonymous], RES DIRECTIONS OBJEC

[3]

CAVENAGHI C, 1987, MC OBJ A C INTERPRET

[4]

Clocksin W. F., 1981, PROGRAMMING PROLOG

[5]

COLEMAN D, 1987, IEEE SOFTWARE EN JUL, P95

[6]

EHRIG H, 1985, EATCS MONGR THEORET, V6

[7]

Futatsugi K., 1985, P 12 ACM POPL POPL85, P52, DOI [/10.1145/318593.318610, DOI 10.1145/318593.318610]

[8]

FUTATSUGI K, 1987, 9TH P INT C SOFTW EN, P51

[9]

GANZINGER H, 1989, LECT NOTES COMPUT SC, V351, P244

[10] EQUATIONAL COMPLETION IN ORDER-SORTED ALGEBRAS [J].

GNAEDIG, I ;

KIRCHNER, C ;

KIRCHNER, H .

THEORETICAL COMPUTER SCIENCE, 1990, 72 (2-3) :169-202

← 1 2 3 4 5 6 →