2 citations found. Retrieving documents...
Christian Queinnec, Pierre Cointe, An open-ended Data Representation Model for EULISP, 1988 ACM Conference on Lisp and Functional Programming, pp 298--308, Snowbird, Utah.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Specification Framework for Data Aggregates Langages - Queinnec (1990)   Self-citation (Queinnec Data)   (Correct)

....in figure 1, the allocation of a string of string of characters naturally requires a string of integers. 4 1 7 0 3 allocation parameter 4 1 7 0 3 a bare instance 4 1 T 7 u y t r e z a 0 3 b a r Figure 1: An allocation of a string of string of characters We presented in [Queinnec Cointe 88] the star calculus which derives from a type, the type of the associated allocation parameter. Although elegant, the star calculus involves too many types and makes inconvenient the allocation process and its description. We will therefore adopt the simpler convention that all allocation ....

....methods N , S, D, A and I. Any subclass of ComposedType must implement these methods and therefore is a legal representation structurer. Figure 2 graphically shows the inheritance and instanciation graph of these classes. Since types are now objects, they themselves have a type. It appears in [Queinnec Cointe 88] that a reflective view is possible and avoids infinite regression since CartesianProduct class is the ultimate metaclass. Suppose we want to define the Pair type as in Lisp. A pair is an object which has two pointers referring to its left and right sons. The Pair type can be defined as Ref 2 ....

Christian Queinnec, Pierre Cointe, An open-ended Data Representation Model for EULISP, 1988 ACM Conference on Lisp and Functional Programming, pp 298--308, Snowbird, Utah.


Lisp - Almost a whole Truth! - Queinnec (1989)   Self-citation (Queinnec)   (Correct)

....after allocation will be bound to new.fl. Since the first parameter is a static description of the entities to be allocated, it is not possible to allocate a varying number of entities. All our entities have a fixed number of fields and therefore varisized entities cannot be allocated as in [Queinnec Cointe 88] This is why the rib cage environment had been preferred to the usual association list since, given a list of actual arguments, a rib.env results from a single call to allocate where an alist environment would be obtained by as much calls to allocate as they are variables to be bound. The ....

Christian Queinnec, Pierre Cointe, An open-ended Data Representation Model for EULISP, 1988 ACM Conference on Lisp and Functional Programming, pp 298--308, Snowbird, Utah.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC