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 conference materials contain 33 papers. The topics covered include compiling lazy pattern matching, garbage collection, parsers in ML, interactive modular programming, finiteness conditions for fixed point iterati...
详细信息
ISBN:
(纸本)0897914813
The conference materials contain 33 papers. The topics covered include compiling lazy pattern matching, garbage collection, parsers in ML, interactive modular programming, finiteness conditions for fixed point iteration, abstract interpretation in weak power domains, data abstraction, type inference, global tagging optimization, calculus for overloaded functions, the Python compiler for CMU common lisp, Tachyon common lisp, confluent calculus of macro expansion and evaluation, dynamic program parallelization, fast parallel implementation of lazy languages, and efficient multi-threaded scheme system.
The advantages and disadvantages of lisp-based algebraic computing, compared to its rivals, are considered. Present features of lisp, and features desirable for the future, which generate the advantages for lisp, are ...
Described is a strategy for the Compilation of lisp programs for a concurrent processing system in the presence of global side effects. Tne method supports "horizontal" concurrency, the concurrency available...
详细信息
暂无评论