SSA is functional programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

SSA is functional programming

Full text

Pdf (398 KB)

Source

ACM SIGPLAN Notices archive
Volume 33 , Issue 4 (April 1998) table of contents

Pages: 17 - 20

Year of Publication: 1998

ISSN:0362-1340

Author

Andrew W. Appel

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 12, Downloads (12 Months): 132, Citation Count: 15

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	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/278283.278285 What is a DOI?

CITED BY 16

	Norman Ramsey , Simon Peyton Jones, A single intermediate language that supports multiple implementations of exceptions, ACM SIGPLAN Notices, v.35 n.5, p.285-298, May 2000
	Lal George , Matthias Blume, Taming the IXP network processor, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Matthew Fluet , Stephen Weeks, Contification using dominators, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Cormac Flanagan , Amr Sabry , Bruce F. Duba , Matthias Felleisen, The essence of compiling with continuations, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Mihai Budiu , Girish Venkataramani , Tiberiu Chelcea , Seth Copen Goldstein, Spatial computation, ACM SIGARCH Computer Architecture News, v.32 n.5, December 2004
	Clemens Grelck , Sven-Bodo Scholz, SAC: a functional array language for efficient multi-threaded execution, International Journal of Parallel Programming, v.34 n.4, p.383-427, August 2006
	Panagiotis Manolios , Daron Vroon, Integrating static analysis and general-purpose theorem proving for termination analysis, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Yutaka Matsuno , Atsushi Ohori, A type system equivalent to static single assignment, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
	Wolfram Amme , Jeffery von Ronne , Michael Franz, SSA-based mobile code: Implementation and empirical evaluation, ACM Transactions on Architecture and Code Optimization (TACO), v.4 n.2, p.13-es, June 2007
	Barak A. Pearlmutter , Jeffrey Mark Siskind, Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.2, p.1-36, March 2008
	Andrew Kennedy, Compiling with continuations, continued, ACM SIGPLAN Notices, v.42 n.9, September 2007
	Lennart Beringer, Functional Elimination of Φ-instructions, Electronic Notes in Theoretical Computer Science (ENTCS), v.176 n.3, p.3-20, July, 2007
	Ming Kawaguchi , Patrick Rondon , Ranjit Jhala, Type-based data structure verification, ACM SIGPLAN Notices, v.44 n.6, June 2009
	Matthew A. Hammer , Umut A. Acar , Yan Chen, CEAL: a C-based language for self-adjusting computation, ACM SIGPLAN Notices, v.44 n.6, June 2009
	R. Daniel Resler , Victor Winter, A higher-order strategy for eliminating common subexpressions, Computer Languages, Systems and Structures, v.35 n.4, p.341-364, December, 2009
	Thomas Ball, Paths between imperative and functional programming, ACM SIGPLAN Notices, v.34 n.2, p.21-25, Feb. 1999