Search Results - programming reasoning programs https array https

1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Human and Unhuman Commonsense Reasoning -- Gödel Logics – A Survey -- Tableau Calculus for the Logic...”
View full text

Electronic eBook

2

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

Published 2008

Table of Contents: “... -- Reasoning about XML with Temporal Logics and Automata -- Distributed Consistency-Based Diagnosis -- Session...”
View full text

Electronic eBook

3

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
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: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
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

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference...

Published 2013

Table of Contents: “... and Sequent Rules with an Application to S5 -- Schemata of Formulæ in the Theory of Arrays -- TAFA – A Tool...”
View full text

Electronic eBook

7

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Published 2008

Table of Contents: “... of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint...”
View full text

Electronic eBook

8

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

Published 2010

Table of Contents: “... Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking...”
View full text

Electronic eBook

9

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

Published 2008

Table of Contents: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
View full text

Electronic eBook

10

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: “...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”
View full text

Electronic eBook

11

Numerical Python A Practical Techniques Approach for Industry /

by Johansson, Robert., Johansson, Robert.
Published 2015

Table of Contents: “...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
View full text

Electronic eBook

12

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...”
View full text

Electronic eBook

13

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...

Published 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
View full text

Electronic eBook

14

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

Published 2010

Table of Contents: “... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”
View full text

Electronic eBook

15

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2008

Table of Contents: “... of ACTL and LTL -- The Complexity of CTL* + Linear Past -- Footprints in Local Reasoning -- A Modal...”
View full text

Electronic eBook

16

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
View full text

Electronic eBook

17

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...

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

18

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Published 2005

Table of Contents: “... and Reasoning About Timing Constraints in Real-Time Systems -- Finding Pareto-Optimal Set of Distributed Vectors...”
View full text

Electronic eBook

19

Pro DNS and BIND

by Aitchison, Ron., Aitchison, Ron.
Published 2005

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

Electronic eBook

20

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... with Layered Queueing Networks -- Error Handling: From Theory to Practice -- Modeling and Reasoning about...”
View full text

Electronic eBook

Narrow Search