情報処理学会論文誌 論文誌トランザクション

• Material Type: 雑誌; 電子資料
• Title: 情報処理学会論文誌 論文誌トランザクション
• Title Transcription: ジョウホウ ショリ ガッカイ ロンブンシ ロンブンシ トランザクション
• Volume: 2011年度(2):2012.4
• Author Heading: 情報処理学会 ジョウホウ ショリ ガッカイ ( 00258438 )Authorities
• Publication, Distribution, etc.: 東京 : 情報処理学会
• Publication Date: 2012
• Publication Date (W3CDTF): 2012
• Year and volume of publication: 平成20年度-1 (Nov. 2008)-平成24年度-2 (Apr. 2013)
• Size: 12cm
• Alternative Title: 情報処理学会論文誌トランザクション ジョウホウ ショリ ガッカイ ロンブンシ トランザクション; IPSJ transactions
• Key Title: Jouhou Shori Gakkai rombunshi (CD-ROM. Rombunshi toranzakushon)
• ISSN (Periodical Title): 1882-7772
• ISSN-L (Periodical Title): 0387-5806
• Place of Publication (Country Code): JP
• Text Language Code: jpn; eng
• Alias of Author: Information Processing Society of Japan; IPS
• Note (Material Type): [電子資料]
• Computer File Characteristics: テキスト・データ
• Note (Computer File Characteristics): HTML形式, PDF
• NDLC: ZM13
• Holding library: 国立国会図書館
• Call No.: YH247-812
• Related Material: 関連資料; https://ndlsearch.ndl.go.jp/books/R100000002-I000000163559
• Related Material (ISSN): 関連資料 : 1882-6695; http://iss.ndl.go.jp/issn/1882-6695; 関連資料 : 1882-6679; http://iss.ndl.go.jp/issn/1882-6679; 関連資料 : 1882-6687; http://iss.ndl.go.jp/issn/1882-6687; 関連資料 : 0387-5806; http://iss.ndl.go.jp/issn/0387-5806
• Has Format (ISSN): 他媒体版 : 1882-7780; 他媒体版 : 1882-7799; 他媒体版 : 1882-7802; 他媒体版 : 1882-7810; 他媒体版 : 1882-7829
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000009933522; http://id.ndl.go.jp/bib/000009933522
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition

Table of Contents

Improvements of Recovery from Marking Stack Overflow in Mark Sweep Garbage Collection (プログラミング Vol.5 No.1)

Demand-driven Partial Dead Code Elimination (プログラミング Vol.5 No.1)

Design and Implementation of a High Productivity Language with Communication Aggregation for Parallel Scientific Computation (プログラミング Vol.5 No.1)

Coq上でのMonadic Total Parser Combinatorの実装 (プログラミング Vol.5 No.2)

A Sound Type System for Typing Runtime Errors (プログラミング Vol.5 No.2)