An architecture for mostly functional languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An architecture for mostly functional languages

Full text

Pdf (774 KB)

Source

Conference on LISP and Functional Programming archive
Proceedings of the 1986 ACM conference on LISP and functional programming table of contents

Cambridge, Massachusetts, United States

Pages: 105 - 112

Year of Publication: 1986

ISBN:0-89791-200-4

Author

Tom Knight

Symbolics, Inc., and The M.I.T. Artificial Intelligence Laboratory, Cambridge, Massachusetts

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 29, Downloads (12 Months): 113, Citation Count: 30

Additional Information:

references cited by collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/319838.319854 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
	2	Henderson, Peter, "Is It Reasonable to Implement a Complete Programming System in a Purely Functional Style?" Technical memo PMM/94, The University of Newcastle upon Tyne Computing Laboratory (December 1980).
	3	Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
	5	Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985 [doi>10.1145/4472.4478]
	6	David A. Moon, Architecture of the Symbolics 3600, Proceedings of the 12th annual international symposium on Computer architecture, p.76-83, June 17-19, 1985, Boston, Massachusetts, United States
	7	James R. Goodman, Using cache memory to reduce processor-memory traffic, Proceedings of the 10th annual international symposium on Computer architecture, p.124-131, June 13-17, 1983, Stockholm, Sweden
	8	H. T. Kung , John T. Robinson, On optimistic methods for concurrency control, ACM Transactions on Database Systems (TODS), v.6 n.2, p.213-226, June 1981 [doi>10.1145/319566.319567]
	9	Crocker, Steven, "State Deltaz: A Formalism for Representing Segments of Computation~ USC-ISI Te, chnicat Report ISi/RR-77-6! (September 1977).
	10	Katz, Morris J., ~Paratran, A Transparent, Transaction Based Runtime Mechanism for Parallel Execution of Scheme~ forthcoming S.M. thesis, MIT Department of Electrical Engineering and Computer Science Department, (May, t986).

CITED BY 30

	Gurindar Sohi, Retrospective: multiscalar processors, 25 years of the international symposia on Computer architecture (selected papers), p.111-114, June 27-July 02, 1998, Barcelona, Spain
	Marcelo Cintra , José F. Martínez , Josep Torrellas, Architectural support for scalable speculative parallelization in shared-memory multiprocessors, ACM SIGARCH Computer Architecture News, v.28 n.2, p.13-24, May 2000
	Richard M. Fujimoto, The virtual machine, ACM SIGARCH Computer Architecture News, v.19 n.1, p.35-44, March 1991
	R. M. Fujimoto, The virtual time machine, Proceedings of the first annual ACM symposium on Parallel algorithms and architectures, p.199-208, June 18-21, 1989, Santa Fe, New Mexico, United States
	Pete Tinker , Morry Katz, Parallel execution of sequential scheme with ParaTran, Proceedings of the 1988 ACM conference on LISP and functional programming, p.28-39, July 25-27, 1988, Snowbird, Utah, United States
	Kunle Olukotun , Lance Hammond , Mark Willey, Improving the performance of speculatively parallel applications on the Hydra CMP, Proceedings of the 13th international conference on Supercomputing, p.21-30, June 20-25, 1999, Rhodes, Greece
	Milos Prvulovic , María Jesús Garzarán , Lawrence Rauchwerger , Josep Torrellas, Removing architectural bottlenecks to the scalability of speculative parallelization, ACM SIGARCH Computer Architecture News, v.29 n.2, p.204-215, May 2001
	J. Greggory Steffan , Christopher B. Colohan , Antonia Zhai , Todd C. Mowry, A scalable approach to thread-level speculation, ACM SIGARCH Computer Architecture News, v.28 n.2, p.1-12, May 2000
	Ravi Rajwar , Maurice Herlihy , Konrad Lai, Virtualizing Transactional Memory, ACM SIGARCH Computer Architecture News, v.33 n.2, p.494-505, May 2005
	Edmund B. Nightingale , Daniel Peek , Peter M. Chen , Jason Flinn, Parallelizing security checks on commodity hardware, ACM SIGPLAN Notices, v.43 n.3, March 2008
	María Jesús Garzarán , Milos Prvulovic , José María Llabería , Víctor Viñals , Lawrence Rauchwerger , Josep Torrellas, Tradeoffs in buffering speculative memory state for thread-level speculation in multiprocessors, ACM Transactions on Architecture and Code Optimization (TACO), v.2 n.3, p.247-279, September 2005
	James R. Larus , Paul N. Hilfinger, Restructuring Lisp programs for concurrent execution, ACM SIGPLAN Notices, v.23 n.9, p.100-110, Sept. 1988
	Nicholas Riley , Craig Zilles, Hardware tansactional memory support for lightweight dynamic language evolution, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
	Sam S. Stone , Kevin M. Woley , Matthew I. Frank, Address-Indexed Memory Disambiguation and Store-to-Load Forwarding, Proceedings of the 38th annual IEEE/ACM International Symposium on Microarchitecture, p.171-182, November 12-16, 2005, Barcelona, Spain
	Burt Halstead , David Callahan , Jack Dennis , R. S. Nikhil , Vivek Sarkar, Programming, compilation, and resource management issues for multithreading (panel session II), ACM SIGARCH Computer Architecture News, v.22 n.1, p.19-33, March 1994
	James Larus , Christos Kozyrakis, Transactional memory, Communications of the ACM, v.51 n.7, July 2008
	P. R. Wilson , T. G. Moher, Demonic memory for process histories, ACM SIGPLAN Notices, v.24 n.7, p.330-343, July 1989
	Lixin Su , Mikko H. Lipasti, Speculative optimization using hardware-monitored guarded regions for java virtual machines, Proceedings of the 3rd international conference on Virtual execution environments, June 13-15, 2007, San Diego, California, USA
	Phil McGachey , Ali-Reza Adl-Tabatabai , Richard L. Hudson , Vijay Menon , Bratin Saha , Tatiana Shpeisman, Concurrent GC leveraging transactional memory, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming, February 20-23, 2008, Salt Lake City, UT, USA
	Robert H. Halstead, Jr., Overview of concert multilisp: a multiprocessor symbolic computing system, ACM SIGARCH Computer Architecture News, v.15 n.1, p.5-14, March 1987
	Lance Hammond , Brian D. Carlstrom , Vicky Wong , Ben Hertzberg , Mike Chen , Christos Kozyrakis , Kunle Olukotun, Programming with transactional coherence and consistency (TCC), ACM SIGOPS Operating Systems Review, v.38 n.5, December 2004
	Hany E. Ramadan , Christopher J. Rossbach , Donald E. Porter , Owen S. Hofmann , Aditya Bhandari , Emmett Witchel, MetaTM/TxLinux: transactional memory for an operating system, ACM SIGARCH Computer Architecture News, v.35 n.2, May 2007
	Saisanthosh Balakrishnan , Gurindar S. Sohi, Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs, ACM SIGARCH Computer Architecture News, v.34 n.2, p.302-313, May 2006
	Antonia Zhai , J. Gregory Steffan , Christopher B. Colohan , Todd C. Mowry, Compiler and hardware support for reducing the synchronization of speculative threads, ACM Transactions on Architecture and Code Optimization (TACO), v.5 n.1, p.1-33, May 2008
	Maurice Herlihy , J. Eliot B. Moss, Transactional memory: architectural support for lock-free data structures, ACM SIGARCH Computer Architecture News, v.21 n.2, p.289-300, May 1993
	Christopher B. Colohan , Anastassia Ailamaki , J. Gregory Steffan , Todd C. Mowry, Incrementally parallelizing database transactions with thread-level speculation, ACM Transactions on Computer Systems (TOCS), v.26 n.1, p.1-50, February 2008
	Brian D. Carlstrom , Austen McDonald , Hassan Chafi , JaeWoong Chung , Chi Cao Minh , Christos Kozyrakis , Kunle Olukotun, The Atomos transactional programming language, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Brian D. Carlstrom , JaeWoong Chung , Hassan Chafi , Austen McDonald , Chi Cao Minh , Lance Hammond , Christos Kozyrakis , Kunle Olukotun, Executing Java programs with transactional memory, Science of Computer Programming, v.63 n.2, p.111-129, 1 December 2006
	Henry G. Baker, Lively linear Lisp: “look ma, no garbage!”, ACM SIGPLAN Notices, v.27 n.8, p.89-98, Aug. 1992
	Henry G. Baker, Equal rights for functional objects or, the more things change, the more they are the same, ACM SIGPLAN OOPS Messenger, v.4 n.4, p.2-27, Oct. 1993

Collaborative Colleagues:

Tom Knight: colleagues

Peer to Peer - Readers of this Article have also read:

Constructing reality Proceedings of the 11th annual international conference on Systems documentation
Douglas A. Powell , Norman R. Ball , Mansel W. Griffiths
Data structures for quadtree approximation and compression Communications of the ACM 28, 9
Hanan Samet
A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee , Huizhu Lu , D. D. Fisher
An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE Design Automation Conference on
Gwo-Dong Chen , Daniel D. Gajski
The GemStone object database management system Communications of the ACM 34, 10
Paul Butterworth , Allen Otis , Jacob Stein

Adobe Acrobat

QuickTime

Windows Media Player

Real Player