A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Syntactic source to source transforms and program manipulation
Communications of the ACM
Communications of the ACM
A case study of a new code generation technique for compilers
Communications of the ACM
A hardware architecture for implementing protection rings
Communications of the ACM
Programming languages: history and future
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
A new strategy for code generation: the general purpose optimizing compiler
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
PASCAL user manual and report
The Design of an Optimizing Compiler
The Design of an Optimizing Compiler
Development of an APL standard
APL '79 Proceedings of the international conference on APL: part 2
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
ACM '77 Proceedings of the 1977 annual conference
An Interpreter for Extended Lambda Calculus
An Interpreter for Extended Lambda Calculus
Lambda: The Ultimate Imperative
Lambda: The Ultimate Imperative
LAMBDA: The Ultimate Declarative
LAMBDA: The Ultimate Declarative
Rabbit: A Compiler for Scheme
Global program optimizations.
An approach to global register allocation.
An approach to global register allocation.
Optional, repeatable, and varying type parameters
ACM SIGPLAN Notices
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
ACM SIGSAM Bulletin
The multics system: an examination of its structure
The multics system: an examination of its structure
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Lisp machine manual
EPIC - a retargetable, highly optimizing Lisp compiler
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
ORBIT: an optimizing compiler for scheme
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Safety consideration for storage allocation optimizations
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
An open-ended data representation model for EU_LISP
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
The runtime environment for Scheme, a Scheme implementation on the 88000
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
Realistic compilation by program transformation (detailed summary)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Untagged data in tagged environments: choosing optimal representations at compile time
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
IBM Systems Journal
HARE: an optimizing portable compiler for Scheme
ACM SIGPLAN Notices
A Control-Flow Normalization Algorithm and its Complexity
IEEE Transactions on Software Engineering
Global tagging optimization by type inference
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
The Python compiler for CMU Common Lisp
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Tachyon Common Lisp: an efficient and portable implementation of CLtL2
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
HOPL-II The second ACM SIGPLAN conference on History of programming languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design of an optimizing, dynamically retargetable compiler for common Lisp
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Reconfigurable, retargetable bignums: a case study in efficient, portable Lisp system building
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
An APL Compiler for a Vector Processor
ACM Transactions on Programming Languages and Systems (TOPLAS)
The scheme 311 compiler an exercise in denotational semantics
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Orbit: an optimizing compiler for scheme
ACM SIGPLAN Notices - Best of PLDI 1979-1999
History of programming languages---II
Redundant boxing elimination by a dynamic compiler for Java
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Lisp-in-lisp: high performance and portability
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Closure generation based on viewing lambda as epsilon plus compile
Computer Languages
Hi-index | 0.00 |
We are developing an optimizing compiler for a dialect of the LISP language. The current target architecture is the S-I, a multiprocessing supercomputer designed at Lawrence Livermore National Laboratory. While LISP is usually thought of as a language primarily for symbolic processing and list manipulation, this compiler is also intended to compete with the S-1 PASCAL and FORTRAN compilers for quality of compiled numerical code. The S-1 is designed for extremely high-speed signal processing as well as for symbolic computation; it provides primitive operations on vectors of floating-point and complex numbers. The LISP compiler is designed to exploit the architecture heavily. The compiler is structurally and conceptually similar to the BLISS-11 compiler and the compilers produced by PQCC. In particular, the TNBIND technique has been borrowed and extended.