Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
recursion 2 » recursion _, recursion a, recursion 274
2 tools » 1 tools
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
recursion 2 » recursion _, recursion a, recursion 274
2 tools » 1 tools
1
Argitaratua 2010
Aurkibidea:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2015
Aurkibidea:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Testu osoa
Baliabide elektronikoa
eBook
3
Aurkibidea:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2007
Aurkibidea:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”Testu osoa
Baliabide elektronikoa
eBook
8
Aurkibidea:
“...1. Terms and Relations -- 2. The Language PCF -- 3. From Evaluation to Interpretation -- 4...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
9
Aurkibidea:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2005
Aurkibidea:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2006
Aurkibidea:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2006
Aurkibidea:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2010
Aurkibidea:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2010
Aurkibidea:
“... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2010
Aurkibidea:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”Testu osoa
Baliabide elektronikoa
eBook