Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
proving programs » proving program, promising programs, promoting programs
program proving » programs proving, program improving, program moving
https » http
proving programs » proving program, promising programs, promoting programs
program proving » programs proving, program improving, program moving
https » http
1
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
2
Publicado 2007
Table of Contents:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2008
Table of Contents:
“... of Correlation -- Convex Hull of Arithmetic Automata -- Pointer Analysis, Conditional Soundness, and Proving...”Ligazón do recurso
Electrónico
eBook
4
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
5
Publicado 2014
Table of Contents:
“...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2015
Table of Contents:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2007
Table of Contents:
“... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”Ligazón do recurso
Electrónico
eBook
10
Table of Contents:
“... of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions....”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
11
Publicado 2013
Table of Contents:
“...Invited Talk 1 -- MetiTarski’s Menagerie of Cooperating Systems -- Inductive Theorem Proving...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2013
Table of Contents:
“... and Sequent Rules with an Application to S5 -- Schemata of Formulæ in the Theory of Arrays -- TAFA – A Tool...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2014
Table of Contents:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2010
Table of Contents:
“... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2008
Table of Contents:
“... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Ligazón do recurso
Electrónico
eBook
17
Table of Contents:
“... Arithmetic -- Bit Vectors -- Arrays -- Pointer Logic -- Quantified Formulas -- Deciding a Combination...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
18
Publicado 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2005
Table of Contents:
“... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2013
Table of Contents:
“..., and Rajeev K. Varshney -- 2. Array-Based High-Throughput Dna Markers And Genotyping Platforms For Cereal...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- Seguinte »
- [2]