ATS言語に関する論文の日本語訳 Applied Type System (Extended Abstract) 状態を持つ観 (view) を通じてポインタを扱う安全なプログラミング (Safe Pogramming with Pointers through Stateful Views) A Programmer-Centric Approach to Program Verification in ATS 未訳