Portal de Periódicos da CAPES

OBJ: Programming with equalities, subsorts, overloading and parameterization

1988; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-50667-5_57

1611-3349

Jean-Pierre Jouannaud, Claude Kirchner, Claude Kirchner, Aristide Mégrelis,

Model-Driven Software Engineering Techniques

OBJ is a declarative language, with mathematical semantics given by order-sorted equational logic and an efficient operational semantics based on order-sorted term-rewriting. In addition, OBJ has a uniquely powerful generic module mechanism, including non-executable “theories” as well as executable “objects,” plus “module expressions” that describe and construct whole subsystems. OBJ also has user-definable abstract data types with user-definable mixfix syntax and a powerful and flexible type system that supports overloading and subtypes. OBJ is thus a wide-spectrum language that elegantly integrates coding, specification and design into a single framework.