Art

J-GLOBAL ID：200902128503235240   Reference number：97A0087185

A Method to Evaluate Execution Costs for Functional Programming Using Monad.

モナドを用いた関数型プログラムのコスト評価手法

Author (3)： NISHITA SEIKO (大阪大 基礎工) ,  TSUJINO YOSHIHIRO (大阪大 基礎工) ,  TOKURA NOBUKI (大阪大 基礎工)
Material： 電子情報通信学会論文誌 D-1  (IEICE Transactions on Information and Systems, Pt.1 (Japanese Edition))
Volume： 79  Issue： 11  Page： 936-945  Publication year： Nov. 1996 
JST Material Number： S0757B  ISSN： 0915-1915  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： functional language ,...
Semi thesaurus term： computational complexity ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0087185&from=J-GLOBAL&jstjournalNo=S0757B") }}

JST classification (1)： Computer system development  (JD02010R)

Reference (10)：

• SKILLICORN, D. B. Deriving parallel programs from specifications using cost information. Science of Computer Programming. 1993, 20, 3, 205-221
• MOGGI, E. An abstract view of programming languages. 1989
• MOGGI, E. Computational lambda-calculus and monads. Proceedings of the Foruth Annual Symposium on Logic in Computer Science. 1989
• HUDAK, P. Report on the programming language haskell, a non-strict, purely functional language, version 1.2. SIGPLAN Notices. 1992, 27, 5, R1-R162
• MALCOLM, G. Data structures and program transformation. Science of Computer Programming. 1990, 14, 2-3, 255-279

Terms in the title (3)： モナド ,  関数 ,  評価手法