Search Results - programming generating programs https array https

1

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

Published 2013

Table of Contents: “... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”
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

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

Published 2014

Table of Contents: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
View full text

Electronic eBook

4

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

5

Web Programming with PHP and MySQL A Practical Guide /

by Bramer, Max., Bramer, Max.
Published 2015

Table of Contents: “...Introduction -- PHP Fundamentals -- The PHP Language: Types of Statement -- More About Arrays...”
View full text

Electronic eBook

6

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Published 2008

Table of Contents: “... Generation of Unsatisfiability Proofs and Cores in SAT -- Justification-Based Local Search with Adaptive...”
View full text

Electronic eBook

7

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

Published 2006

Table of Contents: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
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

The Square Kilometre Array: An Engineering Perspective

Published 2005

Table of Contents: “... -- Efficient Imaging Strategies for Next-Generation Radio Arrays -- System Optimisation of Multi-Beam Aperture...”
View full text

Electronic eBook

11

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

12

Using the C++ Standard Template Libraries

by Horton, Ivor., Horton, Ivor.
Published 2015

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

Electronic eBook

13

Haptics: Generating and Perceiving Tangible Sensations, Part II 7th International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings /

Published 2010

Table of Contents: “... -- Pressure Is a Viable Controlled Output of Motor Programming for Object Manipulation Tasks -- Performance...”
View full text

Electronic eBook

14

Practical Reporting with Ruby and Rails

by Berube, David., Berube, David.
Published 2008

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

Electronic eBook

15

Adobe ColdFusion Anthology The Best of The Fusion Authority /

by Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Published 2010

Table of Contents: “... Returning an Array of Components -- Sending E-mail the Right Way -- ColdFusion and Microsoft Exchange...”
View full text

Electronic eBook

16

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: “... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”
View full text

Electronic eBook

17

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

Published 2014

Table of Contents: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
View full text

Electronic eBook

18

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Published 2013

Table of Contents: “... of OmpSs Task Dependencies -- Beyond Do Loops: Data Transfer Generation with Convex Array Regions...”
View full text

Electronic eBook

19

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
View full text

Electronic eBook

20

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

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

Narrow Search