Odpovídáte na názor ke článku K čemu je teorie (důkazů).
@Cousot V automatickém plánování procházení stavového prostoru moc nefunguje (je moc pomalé). Právě proto se problémy převádí na SAT, abdukci nebo grafy. Matematický popis bez konkrétního efektivního algoritmu je dost na nic.
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 40 126×
Přečteno 27 762×
Přečteno 26 782×
Přečteno 22 976×
Přečteno 20 677×
ČLÁNKY DO MAILU