Odpovídáte na názor ke článku K čemu je teorie (důkazů).
27. 6. 2014 10:37
@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 38 558×
Přečteno 26 907×
Přečteno 25 705×
Přečteno 21 841×
Přečteno 19 684×
ČLÁNKY DO MAILU