Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs function » programs functional, programme function, programs fiction
https functional » cots functional, cuts functional, dots functional
function https » functions https, fiction https
functional i » functional iga, functional ion, functional its
programs function » programs functional, programme function, programs fiction
https functional » cots functional, cuts functional, dots functional
function https » functions https, fiction https
functional i » functional iga, functional ion, functional its
1
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
5
Published 2011
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... the Functional Size in PRiM -- Implementing Software Measurement Programs in Non Mature Small Settings -- Non...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”View full text
Electronic
eBook
8
“... mosque's function and the current perception of the mosque programs. The paper adopts the qualitative...”
Article
9
Published 2012
Table of Contents:
“... Challenges of Workload Optimized Hardware Systems -- Synthesis with Clairvoyance -- Generalized Reactivity(1...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Proofs in Isabelle/HOL -- Formalising Generalised Substitutions -- Extracting Purely Functional Contents...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”View full text
Electronic
eBook
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
15
Table of Contents:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
View full text
View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...”View full text
Electronic
eBook
18
Published 2011
Table of Contents:
“... Oncology: Principles and Pitfalls -- Programs of Organ and Function Preservation -- Multidisciplinary...”View full text
Electronic
eBook
19
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”View full text
Electronic
eBook