関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
abstraction methods » distraction methods, extraction methods, instruction methods
methods recursion » methods recursive, methods decision, method recursive
data abstraction » data extraction, _ abstraction
recursion array » recursion arrays
abstraction methods » distraction methods, extraction methods, instruction methods
methods recursion » methods recursive, methods decision, method recursive
data abstraction » data extraction, _ abstraction
recursion array » recursion arrays
1
出版事項 2007
目次:
“... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”全文の入手
電子媒体
eBook
