1
Publicerad 2013
Innehållsförteckning: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Hämta fulltext
Elektronisk E-bok
2
Innehållsförteckning: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Hämta fulltext
Elektronisk E-bok
3
av Bramer, Max., Bramer, Max.
Publicerad 2015
Innehållsförteckning: ...Introduction -- PHP Fundamentals -- The PHP Language: Types of Statement -- More About Arrays...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2015
Innehållsförteckning: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2008
Innehållsförteckning: ... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...
Hämta fulltext
Elektronisk E-bok
6
av Hunt, John., Hunt, John.
Publicerad 2014
Innehållsförteckning: ... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2007
Innehållsförteckning: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2006
Innehållsförteckning: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2005
Innehållsförteckning: ... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2008
Innehållsförteckning: ... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...
Hämta fulltext
Elektronisk E-bok
11
av Horton, Ivor., Horton, Ivor.
Publicerad 2007
Innehållsförteckning: ...Programming in C -- First Steps in Programming -- Making Decisions -- Loops -- Arrays...
Hämta fulltext
Elektronisk E-bok
12
av Horton, Ivor., Horton, Ivor.
Publicerad 2015
Ämnen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2006
Innehållsförteckning: ... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2006
Innehållsförteckning: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2013
Innehållsförteckning: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2010
Innehållsförteckning: ... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2010
Innehållsförteckning: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2007
Innehållsförteckning: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2015
Innehållsförteckning: ... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2007
Innehållsförteckning: ...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...
Hämta fulltext
Elektronisk E-bok