Map
Index
Random
Help
th

QuoteRef: menoVS1_2006




Topic:
type-safe and secure languages
Topic:
code optimization
Topic:
static single assignment; SSA

Reference

Menon, V.S., Glew, N., Murphy, B.R., McCreight, A., Shpeisman, T., Adl-Tabatabai, A.-R., Petersen, L., "A verifiable SSA program representation for aggressive compiler optimization", Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2006, Charleston, South Carolina, USA, January 2006, ACM SIGPLAN, 41, 1, January 2006, pp. 397-408. Google

Quotations
abstract ;;Quote: compositional verification of memory safety in optimized code; encode low-level safety information via static single-assignment (SSA) proof variables

Related Topics up

Topic: type-safe and secure languages (43 items)
Topic: code optimization (54 items)
Topic: static single assignment; SSA (19 items)

Collected barberCB 3/06
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.