Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs static » programs semantic, programs starting, programs staff
static program » stamp program
program https » programs https, program has, program help
programs static » programs semantic, programs starting, programs staff
static program » stamp program
program https » programs https, program has, program help
1
Published 2008
Table of Contents:
“... on the Role of Static Analysis in Cooperative Bug Isolation -- Contributed Papers -- Relational Analysis...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”View full text
Electronic
eBook
3
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... (Abstract) -- Static Analysis -- Ranking Abstractions -- Non-disjunctive Numerical Domain for Array...”View full text
Electronic
eBook
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“...-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis -- Precise and Automated...”View full text
Electronic
eBook
5
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”View full text
Electronic
eBook
7
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
8
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
9
Published 2006
Table of Contents:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”View full text
Electronic
eBook
12
Table of Contents:
“...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
View full text
View full text
Electronic
eBook
13
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”View full text
Electronic
eBook