Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel through » parallel rough, marvel through, parallel group
through programs » through program, through problems, through diagrams
function https » functions https, fiction https
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel through » parallel rough, marvel through, parallel group
through programs » through program, through problems, through diagrams
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”View full text
Electronic
eBook
3
Table of Contents:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
View full text
View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... -- Aggregates for CHR through Program Transformation -- Preserving Sharing in the Partial Evaluation of Lazy...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
8
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text
View full text
Electronic
eBook
9
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
12
Table of Contents:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
View full text
View full text
Electronic
eBook
13
by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010
Table of Contents:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Published 2010
View full text
Electronic
eBook
14
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”View full text
Electronic
eBook