Результаты поиска - program static program https array https*

1

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

Опубликовано 2008

Оглавление: “... on the Role of Static Analysis in Cooperative Bug Isolation -- Contributed Papers -- Relational Analysis...”
Полный текст

Электронный ресурс eКнига

2

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”
Полный текст

Электронный ресурс eКнига

3

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Опубликовано 2008

Оглавление: “... (Abstract) -- Static Analysis -- Ranking Abstractions -- Non-disjunctive Numerical Domain for Array...”
Полный текст

Электронный ресурс eКнига

4

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

Опубликовано 2010

Оглавление: “...-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis -- Precise and Automated...”
Полный текст

Электронный ресурс eКнига

5

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Опубликовано 2014

Оглавление: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Полный текст

Электронный ресурс eКнига

6

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Опубликовано 2006

Оглавление: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Полный текст

Электронный ресурс eКнига

7

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

по Simon, Axel., Simon, Axel.
Опубликовано 2008

Предметы: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст

Электронный ресурс eКнига

8

C++ 14 Quick Syntax Reference Second Edition /

по Olsson, Mikael., Olsson, Mikael.
Опубликовано 2015

Оглавление: “.... References -- 7. Arrays -- 8. String -- 9. Conditionals -- 10. Loops -- 11. Functions -- 12. Class -- 13...”
Полный текст

Электронный ресурс eКнига

9

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

Опубликовано 2006

Оглавление: “... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”
Полный текст

Электронный ресурс eКнига

10

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
Полный текст

Электронный ресурс eКнига

11

Pro PHP Patterns, Frameworks, Testing and More /

по McArthur, Kevin., McArthur, Kevin.
Опубликовано 2008

Оглавление: “...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Полный текст

Электронный ресурс eКнига

12

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

Опубликовано 2014

Оглавление: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
Полный текст

Электронный ресурс eКнига

13

Pro JavaScript Design Patterns

по Diaz, Dustin., Diaz, Dustin., Harmes, Ross.
Опубликовано 2008

Предметы: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Полный текст

Электронный ресурс eКнига

14

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Опубликовано 2007

Оглавление: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
Полный текст

Электронный ресурс eКнига

15

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March...

Опубликовано 2007

Оглавление: “... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”
Полный текст

Электронный ресурс eКнига

16

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Опубликовано 2010

Оглавление: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Полный текст

Электронный ресурс eКнига

17

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...”
Полный текст

Электронный ресурс eКнига

18

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Опубликовано 2014

Оглавление: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Полный текст

Электронный ресурс eКнига

19

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Опубликовано 2015

Оглавление: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Полный текст

Электронный ресурс eКнига

20

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Опубликовано 2012

Оглавление: “... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска