Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
programming service » programming series, programme service, programming semantics
arrays via » arrays a
1
Obálka
Vydáno 2007
Obsah: “... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání