Home >

news Help

Publication Information


Title
Japanese:Actario: Coqによるアクターモデルの形式化とErlangへのコード抽出 
English: 
Author
Japanese: 安武祥平, 渡部卓雄.  
English: Shohei Yasutake, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Mar. 4, 2015 
Publisher
Japanese: 
English: 
Conference name
Japanese:第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015) 
English: 
Conference site
Japanese:愛媛県松山市 
English: 
Official URL http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/
 

©2007 Tokyo Institute of Technology All rights reserved.