Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
parallel programming » parallel processing
function function » function functional, functions functional, function dysfunction
programming type » programming types, programming tips, programming topic
function https » functions https, fiction https
type function » type functions, type junction, type functional
parallel programming » parallel processing
function function » function functional, functions functional, function dysfunction
programming type » programming types, programming tips, programming topic
function https » functions https, fiction https
type function » type functions, type junction, type functional
1
Veröffentlicht 2006
Inhaltsangabe:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2015
Inhaltsangabe:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2010
Inhaltsangabe:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2011
Schlagworte:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2012
Schlagworte:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2013
Inhaltsangabe:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Volltext
Elektronisch
E-Book
7
Veröffentlicht 2005
Inhaltsangabe:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Volltext
Elektronisch
E-Book
8
Veröffentlicht 2007
Inhaltsangabe:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Volltext
Elektronisch
E-Book
9
Veröffentlicht 2006
Inhaltsangabe:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”Volltext
Elektronisch
E-Book
10
Veröffentlicht 2008
Inhaltsangabe:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Volltext
Elektronisch
E-Book
11
Veröffentlicht 2013
Inhaltsangabe:
“... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”Volltext
Elektronisch
E-Book
12
Veröffentlicht 2010
Inhaltsangabe:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Volltext
Elektronisch
E-Book
13
Veröffentlicht 2010
Inhaltsangabe:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Volltext
Elektronisch
E-Book
14
Veröffentlicht 2014
Inhaltsangabe:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”Volltext
Elektronisch
E-Book
15
Veröffentlicht 2015
Inhaltsangabe:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Volltext
Elektronisch
E-Book
16
Veröffentlicht 2013
Inhaltsangabe:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Volltext
Elektronisch
E-Book
17
Veröffentlicht 2008
Inhaltsangabe:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Volltext
Elektronisch
E-Book
18
Veröffentlicht 2005
Inhaltsangabe:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Volltext
Elektronisch
E-Book
19
Inhaltsangabe:
“... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...”
Volltext
Volltext
Elektronisch
E-Book
20
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Veröffentlicht 2015
Inhaltsangabe:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”Volltext
Elektronisch
E-Book