PROGRAMMING WITH EQUALITIES, SUBSORTS, OVERLOADING, AND PARAMETRIZATION IN OBJ
被引:6
作者:
JOUANNAUD, JP
论文数: 0引用数: 0
h-index: 0
机构:UNIV PARIS 11, CTR ORSAY, F-91405 ORSAY, FRANCE
JOUANNAUD, JP
KIRCHNER, C
论文数: 0引用数: 0
h-index: 0
机构:UNIV PARIS 11, CTR ORSAY, F-91405 ORSAY, FRANCE
KIRCHNER, C
KIRCHNER, H
论文数: 0引用数: 0
h-index: 0
机构:UNIV PARIS 11, CTR ORSAY, F-91405 ORSAY, FRANCE
KIRCHNER, H
MEGRELIS, A
论文数: 0引用数: 0
h-index: 0
机构:UNIV PARIS 11, CTR ORSAY, F-91405 ORSAY, FRANCE
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.