Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion practice » reduction practice, revision practice, decoration practice
practice theory » price theory, lattice theory, practice through
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion practice » reduction practice, revision practice, decoration practice
practice theory » price theory, lattice theory, practice through
1
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Tam Metin Erişim
Elektronik
Ekitap
3
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”Tam Metin Erişim
Elektronik
Ekitap
4
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”Tam Metin Erişim
Elektronik
Ekitap
7
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...”Tam Metin Erişim
Elektronik
Ekitap
8
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus -- Linear Recursive Functions...”Tam Metin Erişim
Elektronik
Ekitap
11
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Tam Metin Erişim
Elektronik
Ekitap
12
Baskı/Yayın Bilgisi 2007
İçindekiler:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2007
İçindekiler:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”Tam Metin Erişim
Elektronik
Ekitap
15
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2015
İçindekiler:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Tam Metin Erişim
Elektronik
Ekitap
17
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”Tam Metin Erişim
Elektronik
Ekitap
20
İçindekiler:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap