44 citations found. Retrieving documents...
G. L. Steele. Common Lisp, The Language. Digital Press, Burlington, Ma., 1984.

 @ NUS  Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents

Structured Lexical Data: How to Make Them Widely Available.. - Lafourcade   (Correct)

....toretricving prefermatted data. But, this is a marginal loss weconsider that the resources, ell oft and time devoted to the implementationof a now t ormat can be drastically reduced. Implementation, availabilityand future work Alex has been implenented with Macintosh Common Lisp ( 1[ and [9]) the toper our Dictionary Object Protocol, DOP [5] itself built using a persistentobject oriented database, WOOD [8] A more detailed account on thearchitecture and implementation of Alex and its derivations can be found in [411. Prototype versions are alreadyfreely available on an experimental ....

Steele, G. L., Jr. (1990)COMMON LISP. The Language. Digital Press, 1030 p. 111o


Modules for Design Support - (ed.)   (Correct)

....Figure d) shows the new situation after all problem columns havemoved one step. The new scores are indicated and we see that there are still violated constraints. The next step would be performed as exemplified in figure c) 5. 5 Implementation The AAAO model is implemented in Common Lisp [ Steele, 1984 ] Steele:84) and its object oriented extension CLOS (Common Lisp Object System, Keene, 1989 ] Keene:89) The AAAO model is implemented in full detail for the adaptation of column positions on a floor to fit a certain use. The object oriented implementation, however, was designed to be ....

G. Steele. Common Lisp. Digital Press, Bedford, MA, 1984.


The Impact of the Lambda Calculus in Logic and Computer Science - Barendregt (1997)   (8 citations)  (Correct)

....LISP is not a pure functional language for several reasons. Assignment is possible in it; there is a confusion between local and global variables 8 ( dynamic binding ; some LISP users even like it) LISP uses the Quote , where (Quote M ) is like #M#. In later versions of LISP, Common LISP (see [110]) and Scheme (see [32] dynamic binding is no longer present. The Quote operator, however, is still present in these languages. Since Ia = a but #Ia# #= #a# adding Quote to the lambda calculus is inconsistent. As one may not reduce in LISP within the scope of a Quote , however, having a ....

, Common Lisp: The language, Digital Press, 1984.


Multi-Dispatch in the Java Virtual Machine: Design.. - Dutchyn, Szafron.. (2001)   (4 citations)  (Correct)

....arguments are considered during dispatch. Uni dispatch languages select a method based upon the type of one distinguished argument; multi dispatch languages consider more than one, and potentially all, of the arguments at dispatch time. For example, Smalltalk [14] is a uni dispatch language. CLOS [23] and Cecil [6] are multi dispatch languages. Other terms, like multiple dispatch, are used in the literature. However, the term multiple dispatch is confusing since it can mean either successive uni dispatches or a single multi dispatch. In fact, in this paper, we compare multi dispatch to double ....

G. L. Steele. Common Lisp. Digital Press, 1985.


The Computability Problem In Algebraic Topology - Sergeraert (1994)   (5 citations)  (Correct)

....is #( pd 1 )d 2 ) d n ) which is more simply denoted by #(pd 1 . d n ) 5 2.1. Definition. A type is a subset of U . Let TY PES denote the set of types so that TY PES = P(U) Here we appreciably move away from the habits of the logicians and the computer scientists; see for instance [STL], chapter 4, and [GRR] usually a type is in some way a machine object (for a computer scientist) or some recursive object (for a logician) on the contrary, here a type is a mathematical notion. We have, and this is essential in this text, a binary operator on TY PES , defined as follows; ....

....work on a machine concretely and easily. The most eYcient one in this field is the LISP language; there is a very simple explanation of this assertion: LISP is directly inspired by the # calculus, which in turn was invented for solving such problems at a theoretical level. We suggest you read in [STL] how carefully the problems of identifier scope have been studied in order to get very elegant solutions for such programming problems (see chapter 3) in fact the exam7 ple mentioned above of the object comp is used by Steele to illustrate how simple and eYcient Common LISP is for constructing ....

STEELE Jr. Guy. --- Common Lisp, the language, Digital Press, 1984.


Objects in Higher-order Concurrent Constraint Programing.. - Martin Henz, Gert Smolka   (Correct)

....protocol ensures that methods are always called with the receiving object as third argument. Object definition by multiple inheritance is performed by adjoining the method tables of parent objects, overriding methods using a precedence, defined by the algorithm of class precedence lists of CLOS [14]. In Oz, some syntactic sugar is provided to allow to express oop more elegantly. The Counter object in Program 4.2 can be written as create Counter from UrObject attr val:0 meth clear val 0 end meth inc val val 1 end meth get(X) X= val end end An object Counter2 that contains ....

G. L. Steele. Common LISP. The Language. 2nd Ed. Digital Press, 1990.


Language and Compiler Support for Dynamic Code Generation - Poletto (1999)   (Correct)

....many others. 1.2 Contributions Dynamic code generation has been employed successfully in several systems [46] to provide performance that could not have been attained with static code, but implementing it was generally complicated and tedious. Interpreted programming environments such as Lisp [70] and Perl [75] furnish primitives for dynamic construction and interpretation of code that are expressive and easy to use, but they have high run time overhead. Prior to the work in this thesis and to similar systems developed at about the same time at the University of Washington [4, 38, 39] and ....

....spaces on a variety of machines. His system dealt with the difficulties presented by caches and operating system restrictions, but it did not address how to select and emit actual binary instructions. Some languages already provide the ability to create code at run time: most Lisp dialects [44, 70], Tcl [54] and Perl [75] provide an eval operation that allows code to be generated dynamically. The main goal of this language feature, however, is programming flexibility rather than performance. For instance, most of these languages are dynamically typed, so not even type checking can be ....

G. L. Steele, Jr. Common LISP. Digital Press, Burlington, MA, 2nd edition, 1990.


A Multi-Agent Approach to First-Order Logic - Bittencourt, Tonin (1997)   (Correct)

....society based on a hypercube parallel architecture able to manage a first order logic knowledge base and to draw inferences from it. A prototype of the proposed knowledge representation system, where concurrence is sequentially simulated, has been implemented in the Common Lisp language [SJ84] using the object oriented extension CLOS. To facilitate the presentation, we didn t explore all concurrence possibilities of the proposed architecture. In fact, the vernacular table can be partitioned into several tables, one for each predicate symbol, because the pointers in the syntagma refer ....

G.L. Steele Jr. Common LISP, the Language. Digital Press, Burlington, 1984.


The Design and Implementation of Dynamic Hashing for Sets and.. - Griswold, al. (1993)   (1 citation)  Self-citation (Language)   (Correct)

No context found.

G. L. Steele, COMMON LISP, The Language, Digital Press, Burlington, MA, 1991.


Structured Programming with Limited Private Types in Ada: Nesting.. - Baker (1991)   (1 citation)  Self-citation (Lisp)   (Correct)

No context found.

Steele, Guy L. Common Lisp, The Language; 2nd Ed. Digital Press, Bedford, MA, 1990,1029p.


The Gabriel 'Triangle' Benchmark at Warp Speed - Baker (1992)   Self-citation (Lisp)   (Correct)

No context found.

Steele, Guy L. Common Lisp, The Language; 2nd Ed. Digital Press, Bedford, MA, 1990,1029p.


Metacircular Semantics for Common Lisp Special Forms - Baker (1992)   Self-citation (Lisp)   (Correct)

No context found.

Steele, Guy L. Common Lisp, The Language; 2nd Ed. Digital Press, Bedford, MA, 1990,1029p.


The First Implementation of the WAVE System for UNIX and TCP/IP.. - Borst (1992)   (1 citation)  (Correct)

No context found.

G. L. Steele. Common Lisp, The Language. Digital Press, Burlington, Ma., 1984.


Conversion of Units of Measurement - Gordon Novak Jr (1995)   (Correct)

No context found.

Steele, G., Common Lisp, Digital Press, 1990.


Mantra: A Shell For Hybrid Knowledge Representation - Calmet Bittencourt Tjandra (1991)   (1 citation)  (Correct)

No context found.

G.L. Steele Jr., Common LISP. Digital Press, Burlington, 1984.


Arizona Overview and Notes for Release 2.0 - John Alan Mcdonald (1991)   (Correct)

No context found.

G.L. Steele. Common Lisp, The Language. Digital Press, 1984.


Matching Scores and Performances - Hank Heijink Graduate   (Correct)

No context found.

GuyL.Steele, Common LISP, the Language, SecondEdition,Digital Press (1990). BIBLIOGRAPHY 93


The Interval Logarithmic Number System - Arnold, Garcia, Schulte   (Correct)

No context found.

G. L. Steele, Jr., Common LISP, 2nd ed., Digital Press, 1990.


Aspects Theoriques Et Pratiques De L'inferences De Type Et Effets - Talpin (1993)   (Correct)

No context found.

Steele, G. L. Common Lisp, the language. Digital Press 1990.


A Scheme for Little Languages in Interactive Graphics - Beckman (1991)   (11 citations)  (Correct)

No context found.

G.L. Steele, Jr., Common Lisp, the Language, 2nd edn, Digital Press, 1990; ISBN 1-55558-041-6.


Ada9X Issues for AI Systems - Baker (1992)   (Correct)

No context found.

Steele, Guy L. Common Lisp, The Language; 2nd Ed. Digital Press, Bedford, MA, 1990,1029p.


Shallow Binding Makes Functional Arrays Fast - Baker (1991)   (9 citations)  (Correct)

No context found.

Steele, Guy L. Common Lisp, the Language; 2nd Ed. Digital Press, Bedford, MA, 1990,1029p.


The Boyer Benchmark at Warp Speed - Baker (1992)   (3 citations)  (Correct)

No context found.

Steele, Guy L. Common Lisp, The Language; 2nd Ed. Digital Press, Bedford, MA, 1990,1029p.


Complex Gaussian Integers for 'Gaussian Graphics' - Baker (1993)   (Correct)

No context found.

Steele, Guy L. Common Lisp, the Language, 2nd Ed. Digital Press, Bedford, MA, 1990, 1029p.


Boxing Theories - Guilherme Bittencourt Laborat'orio   (Correct)

No context found.

STEELE Jr., G.L., Common LISP. Digital Press, Burlington, 1984.

First 50 documents

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

CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.