Search Results - programming generic programs https array https

1

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
View full text

Electronic eBook

2

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

by Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Published 2015

Table of Contents: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
View full text

Electronic eBook

3

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Published 2010

Table of Contents: “... -- On the Satisfiability of Two-Variable Logic over Data Words -- Generic Methods for Formalising Sequent Calculi Applied...”
View full text

Electronic eBook

4

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

by Horváth, Zoltán., Horváth, Zoltán.
Published 2006

Table of Contents: “... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
View full text

Electronic eBook

5

US Programs Affecting Food and Agricultural Marketing

Published 2013

Table of Contents: “... and Food Markets, Policies and Programs—Walter J. Armbruster, President Emeritus, Farm Foundation...”
View full text

Electronic eBook

6

Foundational Java Key Elements and Practical Programming /

by Parsons, David., Parsons, David.
Published 2012

Table of Contents: “...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
View full text

Electronic eBook

7

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
View full text

Electronic eBook

8

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Scope Analysis for Generic Programs on Arrays....”
View full text

Electronic eBook

9

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Published 2005

Table of Contents: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
View full text

Electronic eBook

10

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Published 2008

Table of Contents: “... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...”
View full text

Electronic eBook

11

Using the C++ Standard Template Libraries

by Horton, Ivor., Horton, Ivor.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

12

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
View full text

Electronic eBook

13

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

14

Pro C# 2005 and the .NET 2.0 Platform

by Troelsen, Andrew., Troelsen, Andrew.
Published 2005

Table of Contents: “...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...”
View full text

Electronic eBook

15

Algorithms and Data Structures The Basic Toolbox /

by Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
Published 2008

Table of Contents: “...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
View full text

Electronic eBook

16

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
View full text

Electronic eBook

17

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Published 2015

Table of Contents: “... consolidation as an efficient energy and cost Saving Solution for a SaaS/PaaS Cloud Model -- VMPlaceS A Generic...”
View full text

Electronic eBook

18

Accelerated VB 2005

by Nash, Trey., Nash, Trey.
Published 2007

Table of Contents: “... -- Exception Handling -- Working with Strings -- Arrays and Collections -- Delegates and Events -- Generics...”
View full text

Electronic eBook

19

Accelerated VB 2008

by Nash, Trey., Nash, Trey.
Published 2008

Table of Contents: “... with Strings -- Arrays and Collections -- Delegates and Events -- Generics -- Threading -- VB 2008 Best...”
View full text

Electronic eBook

20

Illustrated C# 2005

by Solis, Daniel., Solis, Daniel.
Published 2007

Table of Contents: “...C# and the .NET Framework -- Overview of C# Programming -- Types, Storage, and Variables -- Classes...”
View full text

Electronic eBook

Narrow Search