Article

Free access

PSL: A Portable LISP System

Authors:

Martin L. Griss,

Gerald Q. Maguire, Jr.Authors Info & Claims

LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming

Pages 88 - 97

https://doi.org/10.1145/800068.802139

Published: 15 August 1982 Publication History

Abstract

This paper presents the implementation strategy and current status of a new Portable LISP System, PSL, based upon STANDARD LISP. PSL is written entirely in itself and is compiled with an efficient LISP compiler with machine-oriented optimizations. A full PSL is currently running on a DECSystem-20 and a VAX, and a preliminary version runs on a Motorola MC68000. Versions for a CRAY-1 and an IBM-370 are planned.

References

[1]

Ager, T. A. and McDonald, J. M. The Stanford Logic Course: Design, Dissemination, and Demonstration. Proceedings of National Educational Computing Conference, University of Iowa, June, 1979, pp. xx.

[2]

Benson, E. and Griss, M. L. SYSLISP: A Portable LISP Based Systems Implementation Language. Utah Symbolic Computation Group Report UCP-81, University of Utah, Department of Computer Science, February, 1981.

[3]

Brooks, R. A.; Gabriel, R. P.; and Steele, G. L. Jr. An Optimizing Compiler for Lexically Scoped LISP. The Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, Carnegie-Mellon University, Pittsburgh, August, 1982. (To appear)

[4]

Foderaro, J. K. and Sklower, K. L. The Franz LISP Manual. 1981.

[5]

Gabriel, R. P.; and Masinter, L. M. LISP Evaluation and Timing. The Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, Carnegie-Mellon University, Pittsburgh, August, 1982. (To appear)

[6]

Galway, W.; and Griss, M. L. An Editor Interface for a Portable Lisp Programming Environment. Utah Symbolic Computation Group Opnote No. 64, University of Utah, Department of Computer Science, January, 1982.

[7]

Goates, G. B., M. L. Griss, and G. J. Herron. PICTUREBALM: A LISP-based Graphics Language with Flexible Syntax and Hierachical Data Structure. Proceedings of SIGGRAPH-80, Computer Graphics, August, ACM, 1980, pp. 93-99.

Digital Library

[8]

Griss, M. L. The Definition and Use of Data-Structures in Reduce. Proceedings of SYMSAC 76, SYMSAC, August, 1976, pp. 53-59.

Digital Library

[9]

Griss, M. L. and Kessler, R. R. REDUCE 1700: A Micro-coded Algebra System. Proceedings of The 11th Annual Microprogramming Workshop, IEEE, November, 1978, pp. 130-138.

[10]

Griss, M. L.; Kessler, R. R.; and Maguire, G. Q. Jr. TLISP - A Portable LISP Implemented in P-code. Proceedings of EUROSAM 79, ACM, June, 1979, pp. 490-502.

Digital Library

[11]

Griss, M. L. and Hearn, A. C. "A Portable LISP Compiler." Software-Practice and Experience 11 (June 1981), 541-605.

[12]

Griss, M. L. and Morrison, B. The Portable Standard LISP Users Manual. Utah Symbolic Computation Group Technical Report TR-10, University of Utah, Department of Computer Science, March, 1981. (PSL version 3, 6 May 1982)

[13]

Griss, M. L.; Benson. E.; and Hearn, A. C. Current Status of a Portable LISP Compiler. Utah Symbolic Computation Group Report UCP-82, University of Utah, Department of Computer Science, January, 1982. (To be presented at the 1982 Compiler Conference, Boston, Massachusetts, June 1982)

Digital Library

[14]

Griss, M. L. Some Notes on the Basic PSL Timing Tests. Utah Symbolic Computation Group Opnote No. 66, University of Utah, Department of Computer Science, May, 1982. (Preliminary version)

[15]

Hearn, A. C. "Standard LISP." SIGPLAN Notices Notices 4, 9 (September 1966), xx. Also Published in SIGSAM Bulletin, ACM Vol. 13, 1969, p. 28-49.

Digital Library

[16]

Hearn, A. C. REDUCE 2 Users Manual. Utah Symbolic Computation Group Report UCP-19, University of Utah, Department of Computer Science, 1973.

[17]

Marti, J. B., et al. "Standard LISP Report." SIGPLAN Notices 14, 10 (October 1979), 48-68.

Digital Library

[18]

Morrison, D. Betty: A Type Analysis Program for LISP. Master Th., Department of Computer Science, University of Utah, Salt Lake City, Utah 84112, June 1982. (In progress)

[19]

Sasaki, T. An Arbitrary Precision Real Arithmetic Package in REDUCE. Utah Symbolic Computation Group Report UCP-68, University of Utah, Department of Computer Science, April, 1979.

[20]

Stallman, R. M. Proceedings of the ACM SIGPLAN Notices Symposium on Text Manipulation. EMACS The Extensible, Customizable Self-Documenting Display Editor, New York, New York, June, 1981.

Digital Library

[21]

Terashima, M. and Goto, E. "Genetic Order and Compactifying Garbage Collectors." Information Processing Letters 7, 1 (1978), 27-32.

Cited By

Padget J(2005)Current developments in LISPEUROCAL '8510.1007/3-540-15983-5_4(45-57)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-15983-5_4
Char BGeddes KGentleman WGonnet G(2005)The design of Maple: A compact, portable, and powerful computer algebra systemComputer Algebra10.1007/3-540-12868-9_95(101-115)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-12868-9_95
Hearn A(2005)REDUCE — A case study in algebra system developmentComputer Algebra10.1007/3-540-11607-9_31(263-272)Online publication date: 28-May-2005
https://doi.org/10.1007/3-540-11607-9_31
Show More Cited By

Index Terms

PSL: A Portable LISP System
1. Computer systems organization
  1. Architectures
    1. Other architectures
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
    2. Software development techniques
      1. Reusability

Recommendations

Symbolic Compilation of PSL

The IEEE standard property specification language (PSL) is increasingly used in many phases of the hardware design cycle, from specification to verification. PSL combines linear temporal logic (LTL) with sequential extended regular expressions (SEREs) ...
A C-Language Binding for PSL
ICESS '07: Proceedings of the 3rd international conference on Embedded Software and Systems

In recent years we have seen an increase in the complexity of embedded system design and in the difficulties of their verification. As a result, engineers have been trying to verify the specifications at a higher level of abstraction. In this paper we ...
Model checking PSL using HOL and SMV
HVC'06: Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing

In our previous work, we formally validated the correctness of a translation from a subset of Accellera's Property Specification Language (PSL) to linear temporal logic (LTL) using the HOL theorem prover. We also built an interface from HOL to the SMV ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming

August 1982

264 pages

ISBN:0897910826

DOI:10.1145/800068

Copyright © 1982 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 August 1982

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 30 of 109 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

33
Total Citations
View Citations
469
Total Downloads

Downloads (Last 12 months)60
Downloads (Last 6 weeks)6

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Padget J(2005)Current developments in LISPEUROCAL '8510.1007/3-540-15983-5_4(45-57)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-15983-5_4
Char BGeddes KGentleman WGonnet G(2005)The design of Maple: A compact, portable, and powerful computer algebra systemComputer Algebra10.1007/3-540-12868-9_95(101-115)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-12868-9_95
Hearn A(2005)REDUCE — A case study in algebra system developmentComputer Algebra10.1007/3-540-11607-9_31(263-272)Online publication date: 28-May-2005
https://doi.org/10.1007/3-540-11607-9_31
Steele GGabriel R(1996)The evolution of LispHistory of programming languages---II10.1145/234286.1057818(233-330)Online publication date: 1-Jan-1996
https://dl.acm.org/doi/10.1145/234286.1057818
Steele GGabriel R(1993)The evolution of LispACM SIGPLAN Notices10.1145/155360.15537328:3(231-270)Online publication date: 1-Mar-1993
https://dl.acm.org/doi/10.1145/155360.155373
Norman A(1993)Compact delivery support for REDUCEDesign and Implementation of Symbolic Computation Systems10.1007/BFb0013187(331-340)Online publication date: 1993
https://doi.org/10.1007/BFb0013187
Layer DRichardson C(1991)Lisp systems in the 1990sCommunications of the ACM10.1145/114669.11467434:9(48-57)Online publication date: 1-Sep-1991
https://dl.acm.org/doi/10.1145/114669.114674
Fitch J(1990)A delivery system for REDUCEProceedings of the international symposium on Symbolic and algebraic computation10.1145/96877.96897(76-81)Online publication date: 1-Jul-1990
https://dl.acm.org/doi/10.1145/96877.96897
Bowen PChappell SGonzalez R(1990)Using Common LISP in the EAVE autonomous underwater vehicleIEEE Journal of Oceanic Engineering10.1109/48.10715515:3(22w1-22w7)Online publication date: Jul-1990
https://doi.org/10.1109/48.107155
Zorn BHilfinger P(1990)Direct functions calls in LispLisp and Symbolic Computation10.1007/BF018061233:1(13-20)Online publication date: 1-May-1990
https://dl.acm.org/doi/10.1007/BF01806123
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents