2010-09-09から1日間の記事一覧
最近"A Semantic Analysis of C++ Templates"という、「C++のテンプレートが未だにまともに、"自然言語じゃない形で"形式化されてないから俺らがやってやった!!」という論文を読みました。論文の在処 : http://ecee.colorado.edu/~siek/pubs/pubs/2006/sie…
最近"A Semantic Analysis of C++ Templates"という、「C++のテンプレートが未だにまともに、"自然言語じゃない形で"形式化されてないから俺らがやってやった!!」という論文を読みました。論文の在処 : http://ecee.colorado.edu/~siek/pubs/pubs/2006/sie…