1
Pubblicazione 2008
Sommario: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
Testo
Elettronico eBook
2
di Hazrat, Roozbeh., Hazrat, Roozbeh.
Pubblicazione 2010
Sommario: ... -- 10.1 Functions with local variables -- 10.2 Functions with conditions -- 11. Recursive functions -- 12...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ...: Transactions Based on Security Questions and Image -- CloneManager: A Tool for Detection of Type1 and Type2...
Testo
Elettronico eBook
4
Pubblicazione 2007
Sommario: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
Testo
Elettronico eBook
5
Pubblicazione 2010
Sommario: ... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...
Testo
Elettronico eBook