The paper describes two separate but synergistic tools for running experiments on large Lisp systems such as Artiicial Intelligence planning systems, by which we mean systems that produce plans and execute them in some kind of simulator. The rst tool, called Clip (Common Lisp Instrumentation Package), allows the researcher to deene and run experiments, including experimental conditions (paramet...

ACL2 is a reimplemented extended version of Boyer and Moore's Nqthm and Kaufmann's Pc-Nqthm, intended for large scale veriication projects. However, the logic supported by ACL2 is compatible with the applicative subset of Common Lisp. The decision to use an \industrial strength" programming language as the foundation of the mathematical logic is crucial to our advocacy of ACL2 in the applicatio...

This paper discusses Lisp primitives and abstractions developed to support the parallel execution of a functional subset of Lisp, specifically ACL2. We (1) introduce our Lisp primitives (futures) (2) present our abstractions built on top of these primitives (spec-mvlet and plet+), and (3) provide performance results.

This document describes the LISP (Locator/ID Separation Protocol) Map-Versioning mechanism, which provides in-packet information about Endpoint ID to Routing Locator (EID-to-RLOC) mappings used to encapsulate LISP data packets. The proposed approach is based on associating a version number to EID-to-RLOC mappings and the transport of such a version number in the LISP-specific header of LISP-enc...

The paper describes two separate but synergistic tools for running experiments on large Lisp programs. The rst tool, called Clip (Common Lisp Instrumentation Package), allows the researcher to de ne and run experiments, including experimental conditions (parameter values of the planner or simulator) and data to be collected. The data are written out to data les that can be analyzed by statistic...

The Locator/ID Separation Protocol (LISP) is a routing architecture that provides new semantics for IP addressing. In order to simplify routing operations and improve scalability in future Internet, the LISP separates the device identity from its location using two different numbering spaces. The LISP also, introduces a mapping system to match the two spaces. In the initial stage, each LISP-cap...

This article reports the results of an ongoing experimental research on the behavior and performance of CLOS, the COMMON-LISP Object System. Our purpose is to evaluate the behavior and performance of the 3 most important characteristics of any dynamic object-oriented system: class instantiation, slot access and dynamic dispatch. This paper describes the results of our experiments on instantiati...

The Locator/ID Separation Protocol (LISP) is a routing architecture that provides new semantics for IP addressing. In order to simplify routing operations and improve scalability in future Internet, the LISP uses two different numbering spaces to separate the device identifier from its location. In other words, the LISP separates the ’where’ and the ’who’ in networking and uses a mapping system...

We present an overview of the novel aspects of Avaion/Common Lisp: (1) support for remote evaluation through a new evaiuator data type; (2) a generalization of the traditional client/server model of computation, allowing clients to extend server interfaces and server writers to hide aspects of distribution, sucrras caching, from clients; (3) support for automatic commit and abort processing of ...

NIL is acronymic for "New Implementation of Lisp" (or possibly "Nil Is Lisp"). It is intended to be a modernization of the programming language LISP suitable in design for implementation on any of the current generation of large-address-space, low-cost computers; and maximally upward-compatible with MACLlSP, the dialect of LISP developed at the M.I.T Laboratory for Computer Science, and Artific...