The proceedings contain 31 papers. The topics discussed include: symbolic computing with and without lisp;prose and CONS: (Multics Emacs: a commercial text-processing system in lisp);explicit parallelism in lisp-like ...
The proceedings contain 31 papers. The topics discussed include: symbolic computing with and without lisp;prose and CONS: (Multics Emacs: a commercial text-processing system in lisp);explicit parallelism in lisp-like languages;explicit parallelism in lisp-like languages;MULTI - a lisp based multiprocessing system;a semantic comparison of lisp and SCHEME;a system of communicating residential environments;address/memory management for a gigantic lisp environment or, GC considered harmful;HOPE: an experimental applicative language;and an efficient environment allocation scheme in an interpreter for a lexically-scoped lisp.
The proceedings contain 32 papers. The topics discussed include: a simple applicative language: Mini-ML;the CURRY Chip;desiderata for the standardisation of lisp;laws in Miranda;variations on strictness analysis;exper...
ISBN:
(纸本)0897912004
The proceedings contain 32 papers. The topics discussed include: a simple applicative language: Mini-ML;the CURRY Chip;desiderata for the standardisation of lisp;laws in Miranda;variations on strictness analysis;experience with an uncommon lisp;an architecture for mostly functional languages;integrating functional and imperative programming;code generation techniques for functional languages;the implementation of PC scheme;design of an optimising, dynamically retargetable compiler for common lisp;expansion-passing style: beyond conventional macros;the four-stroke reduction engine;lisp on a reduced-instruction-set-processor;hygienic macro expansion;partitioning parallel programs for macro-dataflow;exact real arithmetic: a case study in higher order programming;NORMA: a graph reduction processor;reconfigurable, retargetable bignums: a case study in efficient, portable lisp system building;implementing functional languages in the categorical abstract machine;connection graphs;connection machine@ lisp: pine-grained parallel symbolic processing;and the mystery of the tower revealed: a non-reflective description of the reflective tower.
This conferenceproceedings contains 32 papers. The topics covered include: debugger for standard ML;modular programming;semantics;multiple inheritance;comprehending monads;trap architectures;garbage collection;method...
详细信息
ISBN:
(纸本)089791368X
This conferenceproceedings contains 32 papers. The topics covered include: debugger for standard ML;modular programming;semantics;multiple inheritance;comprehending monads;trap architectures;garbage collection;method dispatch in PCL;tail-recursive languages;compilation;control features;parallel programs;speculative computation;continuation;lazy functional languages;lambda calculus;abstract machines.
The proceedings contain 32 papers. The topics discussed include: static dependent types for first class modules;a semantic basis for quest;computing with coercions;trap architectures for lisp systems;comparing mark-an...
ISBN:
(纸本)089791368X
The proceedings contain 32 papers. The topics discussed include: static dependent types for first class modules;a semantic basis for quest;computing with coercions;trap architectures for lisp systems;comparing mark-and-sweep and stop-and-copy garbage collection;efficient method dispatch in PCL;efficient stack allocation for tail-recursive languages;a parallel virtual machine for efficient scheme compilation;a functionalprogramming language compiler for massively parallel computers;partial evaluation applied to numerical computation;reasoning with continuations ii: full abstraction for models of control;continuing into the future: on the interaction of futures and first-class continuations;lazy task creation: a technique for increasing the granularity of parallel programs;continuation-based parallel implementation of functionalprogramming languages;and a compositional analysis of evaluation-order and its application.
The proceedings contain 33 papers. The topics discussed include: a variable-arity procedural interface;continuations may be unreasonable: preliminary report;parallel execution of sequential scheme with ParaTran;exact ...
ISBN:
(纸本)089791273X
The proceedings contain 33 papers. The topics discussed include: a variable-arity procedural interface;continuations may be unreasonable: preliminary report;parallel execution of sequential scheme with ParaTran;exact real computer arithmetic with continued fractions;syntactic closures;expressing mathematical subroutines constructively;abstract continuations: a mathematical semantics for handling full functional jumps;buckwheat: graph reduction on a shared memory multiprocessor;scheme86 a system for interpreting scheme;abstraction in numerical methods;partial polymorphic type inference and higher-order unification;implementation strategies for continuations;bounded quantifiers have interval models;preliminary results with the initial implementation of Qlisp;type inference and semi-unification;type inference in a database programming language;an implementation of portable standard lisp on the BBN butterfly;faster combinator reduction using stock hardware;the spineless g-machine;a simple and efficient implementation approach for single assignment languages;graphinators and the duality of SIMD and MIMD;and an improved replacement strategy for function caching.
This conferenceproceedings contains 37 papers. These papers represent an up-to-date view of lisp and functionalprogramming languages. The main subjects discussed are logic programming, the lisp Machine architecture,...
详细信息
ISBN:
(纸本)0897911423
This conferenceproceedings contains 37 papers. These papers represent an up-to-date view of lisp and functionalprogramming languages. The main subjects discussed are logic programming, the lisp Machine architecture, compiler design for functionalprogramming languages, and object oriented programming.
The syntax and semantics for UCL+P, a persistent Common lisp, are defined. The definition provides adequate support for persistence while maintaining the look-and-feel of Common lisp. All lisp data types (except strea...
详细信息
ISBN:
(纸本)0897916433
The syntax and semantics for UCL+P, a persistent Common lisp, are defined. The definition provides adequate support for persistence while maintaining the look-and-feel of Common lisp. All lisp data types (except streams) can be made persistent. Persistence is conferred automatically on non-symbol values when they become part of a persistent data structure. Symbols are persistent if interned in a persistent package. The Common lisp package facility was enhanced to allow for persistent packages which provide modularity to the space of persistent values and serve as the ultimate roots of the persistence conferral algorithm. Values are retrieved from the store using demand loading;new or mutated values are automatically detected and written back to the store when the transaction is committed. The sharing semantics of lisp are preserved in this specification.
Adding a module system to lisp enhances program security and efficiency, and help the programmer master the complexity of large systems, thus facilitating application delivery. Talk's module system is based on a s...
详细信息
ISBN:
(纸本)0897916433
Adding a module system to lisp enhances program security and efficiency, and help the programmer master the complexity of large systems, thus facilitating application delivery. Talk's module system is based on a simple compilation model which takes macros into account and provides a solid basis for automatic module management tools. Higher-level structuring entities - libraries and executables - group modules into deliverable goods. The module system is secure because it validates interfaces, efficient because it separates compilation dependencies from execution dependencies, and useful because it offers a simple processing model, automatic tools, and a graceful transition from development to delivery.
A tight, transparent, and portable integration between C++ and lisp is desirable and feasible. This paper describes the C++ interface supplied with [6], a modern lisp dialect which extends the proposed ISlisp standard...
详细信息
ISBN:
(纸本)0897916433
A tight, transparent, and portable integration between C++ and lisp is desirable and feasible. This paper describes the C++ interface supplied with [6], a modern lisp dialect which extends the proposed ISlisp standard with a module system [3], a metaobject protocol, and an extensive set of libraries. The interface parses C++ header files and generates C++ stub interface files, as well as Talk modules which implement proxy classes and Talk foreign function definitions for C++ functions. The programmer then has nearly complete access to the functionality of a C++ library.
暂无评论