| 
|
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
abstract ;;Quote: compositional verification of memory safety in optimized code; encode low-level safety information via static single-assignment (SSA) proof variables
Topic: type-safe and secure languages (43 items)
Topic: code optimization (54 items)
Topic: static single assignment; SSA (19 items)