Automated techniques for higher-order program verification
スポンサーリンク
概要
Research Organization of Information and Systems, National Institute of Informatics | 論文
- 平面スイープ法を利用した弱校正多視点カメラからの隠消現実感映像生成
- 米国と日本で医学教育,臨床および患者の安全のためにコンピュータを利用する新たな方法
- A dynamic programming algorithm for lot-sizing problem with outsourcing (Special issue : Theoretical computer science and discrete mathematics)
- Automated techniques for higher-order program verification
- An expressive bidirectional transformation language for XQuery view update (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)