Výsledky vyhledávání - Automatic Pro- gramming—Automatic analysis of algorithms
-
1
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, F.3.1 [LOGICS AND MEANINGS OF PROGRAMS, Specifying and Verifying and Reasoning about Programs—Logics of programs, Mechanical verifi- cation, Specification techniques, F.4.2 [MATHEMATICAL LOGIC AND FORMAL LAN- GUAGES, Grammars and Other Rewriting Systems, F.4.3 [MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Formal Languages—Algebraic language theory, I.1.3 [SYM- BOLIC AND ALGEBRAIC MANIPULATION, Languages and Systems—Evaluation stra- tegies, Substitution mechanisms, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Pro- gramming—Automatic analysis of algorithms, Program verification, I.2.3 [ARTIFICIAL IN- TELLIGENCE, Deduction and Theorem Proving—Deduction, Inference engines, Mathemat- ical induction, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.2.4 [SOFTWARE ENGINEERING, Software/Program Verification—Correctness proofs, Formal methods, Validation General Terms, Algorithms, Languages, Verification Additional Key Words and Phrases, abstraction, innermost
Popis souboru: application/pdf
-
2
Autoři: a další
Zdroj: EP: Europace; Jul2011, Vol. 13 Issue 7, p976-983, 8p
-
3
Zdroj: Complexity; Sep2001, Vol. 7 Issue 1, p5-14, 10p
-
4
Autoři:
Resource Type: eBook.
Categories: COMPUTERS / Human-Computer Interaction (HCI), PSYCHOLOGY / Cognitive Psychology & Cognition
-
5
-
6
Nájsť tento článok vo Web of Science 
Full Text 
Full Text Finder