Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
function structures » functions structures, function structure, functional structures
programs compiler » programs computer, programs complex, programs compiling
compiler https » computers https, compiler types
https function » its function, sites function, ups function
function structures » functions structures, function structure, functional structures
programs compiler » programs computer, programs complex, programs compiling
compiler https » computers https, compiler types
https function » its function, sites function, ups function
1
Udgivet 2012
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2006
Indholdsfortegnelse:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2006
Indholdsfortegnelse:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”Få fuldtekst
Electronisk
eBog
4
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
5
Udgivet 2010
Indholdsfortegnelse:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2010
Indholdsfortegnelse:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2007
Indholdsfortegnelse:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2008
Indholdsfortegnelse:
“... Revisited: Semantics and Representation of Aggregates -- Compiling Fuzzy Answer Set Programs to Fuzzy...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2008
Indholdsfortegnelse:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Udgivet 2013
Indholdsfortegnelse:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Få fuldtekst
Electronisk
eBog
13
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
14
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Udgivet 2007
Indholdsfortegnelse:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2011
Indholdsfortegnelse:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”Få fuldtekst
Electronisk
eBog
16
Indholdsfortegnelse:
“...Introduction -- Syntax -- Assembly Language -- C++ -- Standard ML -- Compiling Standard ML...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
17
Indholdsfortegnelse:
“... in Data -- Files -- Functions -- Control Structures -- Characters -- Complex -- Logical -- User Defined...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
18
Udgivet 2006
Indholdsfortegnelse:
“... Compiler from ?-Protocol to 2-Move Deniable Zero-Knowledge -- New Extensions of Pairing-Based Signatures...”Få fuldtekst
Electronisk
eBog
19
Indholdsfortegnelse:
“... and Strings -- 7. Working with Functions -- 8. Working with Arrays -- 9. Working with Structures -- A...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
20
Udgivet 2013
Indholdsfortegnelse:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Få fuldtekst
Electronisk
eBog