Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions conditional » functions functional, functional conditioning, functions computational
programming recursion » programming decision, programming session, programming decisions
based tools » based tool, basic tools
functions conditional » functions functional, functional conditioning, functions computational
programming recursion » programming decision, programming session, programming decisions
based tools » based tool, basic tools
1
Published 2008
Table of Contents:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...”View full text
Electronic
eBook