Search Results for 'single assignment'

1 POSTS

  1. 2006.10.30 Single Assignment

Single Assignment

Posted 2006. 10. 30. 10:10
함수형 언어(functional language)처럼 변수에 값을 한 번만 대입할 수 있는 언어를 Single Assignment하는 언어라고 부른다. 대표적인 언어로는 Erlang, Haskell, SISAL 등이 있고, 컴파일러가 최적화를 위해 쓰는 언어 중간 언어인 SSA(Static Single Assignment)도 이름에서 알 수 있듯이 Single Assignment 하는 언어이다. 이들 언어의 특징은 사이드 이펙트(side effect)가 없기 때문에 여러가지 컴파일러 최적화에 유리하다는 점이다. SSA를 사용하면 다음 컴파일러 최적화가 가능하다(혹은 더 쉬워진다).