Search Results - program test program https array https*

1

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Published 2015

Table of Contents: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
View full text

Electronic eBook

2

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Published 2010

Table of Contents: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
View full text

Electronic eBook

3

Guide to Fortran 2008 Programming

by Brainerd, Walter S., Brainerd, Walter S.
Published 2015

Table of Contents: “...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
View full text

Electronic eBook

4

VEE Pro: Practical Graphical Programming

by Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Published 2005

Table of Contents: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text

Electronic eBook

5

Multimedia Introduction to Programming Using Java

by Gries, David., Gries, David., Gries, Paul.
Published 2005

Table of Contents: “... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...”
View full text

Electronic eBook

6

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

Published 2010

Table of Contents: “... Encoding of Unification in -- Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable...”
View full text

Electronic eBook

7

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

8

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

by Simon, Axel., Simon, Axel.
Published 2008

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

Electronic eBook

9

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
View full text

Electronic eBook

10

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
View full text

Electronic eBook

11

Progress in VLSI Design and Test 16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings /

Published 2012

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

12

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

Published 2008

Table of Contents: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
View full text

Electronic eBook

13

Pro PHP Patterns, Frameworks, Testing and More /

by McArthur, Kevin., McArthur, Kevin.
Published 2008

Table of Contents: “...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
View full text

Electronic eBook

14

The Square Kilometre Array: An Engineering Perspective

Published 2005

Table of Contents: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
View full text

Electronic eBook

15

A Beginner's Guide to Scala, Object Orientation and Functional Programming

by Hunt, John., Hunt, John.
Published 2014

Table of Contents: “... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...”
View full text

Electronic eBook

16

The Burrows-Wheeler Transform: Data Compression, Suffix Arrays, and Pattern Matching /

by Adjeroh, Donald., Adjeroh, Donald., Bell, Timothy., Mukherjee, Amar.
Published 2008

Table of Contents: “... and suffix arrays -- Analysis of the Burrows-Wheeler Transform -- Variants of the Burrows-Wheeler Transform...”
View full text

Electronic eBook

17

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

18

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

19

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

20

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Published 2008

Table of Contents: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
View full text

Electronic eBook

Narrow Search