Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program https » programs https, program has, program help
programs 7 » programs _, programs a, programs 4
7 program » 7 programs, 17 program, 73 program
program https » programs https, program has, program help
programs 7 » programs _, programs a, programs 4
7 program » 7 programs, 17 program, 73 program
1
Published 2006
Table of Contents:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”View full text
Electronic
eBook
2
Table of Contents:
“...Chap. 1, Memory: The Stack -- Chap. 2, Control -- Chap. 3, Arrays and Strings -- Chap. 4, Debugging...”
View full text
View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”View full text
Electronic
eBook
4
Table of Contents:
“... and Strings -- 7. Working with Functions -- 8. Working with Arrays -- 9. Working with Structures -- A...”
View full text
View full text
Electronic
eBook
5
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
6
Published 2008
Table of Contents:
“... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”View full text
Electronic
eBook
7
Table of Contents:
“...Chapter 1: Understanding Programming -- Chapter 2: Getting to Know Xcode -- Chapter 3: The Basic...”
View full text
View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... and Food Markets, Policies and Programs—Walter J. Armbruster, President Emeritus, Farm Foundation...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”View full text
Electronic
eBook
13
Table of Contents:
“...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“.... References -- 7. Arrays -- 8. String -- 9. Conditionals -- 10. Loops -- 11. Functions -- 12. Class -- 13...”
View full text
View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... of Tiling Arrays Using a Shortest Path Approach -- Efficient and Accurate Construction of Genetic Linkage...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
19
Table of Contents:
“...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
View full text
View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”View full text
Electronic
eBook