|
|
|
|
Modeling Inheritance as Coercion in the Kenzo System
|
|
|
|
|
|
|
|
نویسنده
|
Dominguez Cesar ,Rubio Julio ,Sergeraert Francis
|
|
منبع
|
journal of universal computer science - 2006 - دوره : 12 - شماره : 12 - صفحه:1701 -1730
|
|
چکیده
|
Abstract: in this paper the analysis of the data structures used in a symbolic com- putation system, called kenzo, is undertaken. we deal with the specification of the inheritance relationship since kenzo is an object-oriented system, written in clos, the common lisp object system. we show how the order-sorted algebraic specifica- tion formalism can be adapted, through the “inheritance as coercion” metaphor, in order to model the simple inheritance between structures in kenzo.
|
|
کلیدواژه
|
Algebraic specification ,symbolic computation ,inheritance ,coercion
|
|
آدرس
|
Universidad de La Rioja, Spain, Universidad de La Rioja, Spain, Universite Grenoble I, Institut Fourier, France
|
|
پست الکترونیکی
|
francis.sergeraert@ujf-grenoble.fr
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|