Search Results - functions computation ((programming using) or (programming reasoning)) arrays a~

1

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

Published 2008

Table of Contents: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
View full text

Electronic eBook

2

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,...

Published 2014

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

Electronic eBook

3

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

Published 2010

Table of Contents: “... New Requirements Analysis Tool with Synthesis -- Comfusy: A Tool for Complete Functional Synthesis...”
View full text

Electronic eBook

4

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

Published 2008

Table of Contents: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
View full text

Electronic eBook

5

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

Published 2005

Table of Contents: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
View full text

Electronic eBook

6

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

7

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
View full text

Electronic eBook

8

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

9

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Published 2005

Table of Contents: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
View full text

Electronic eBook

10

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Published 2013

Table of Contents: “...-RLDA: A New Classification Scheme for Face Images Using Probabilistic Reasoning Model -- Optimal Stable...”
View full text

Electronic eBook

11

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: “... Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification...”
View full text

Electronic eBook

12

Decision Procedures An Algorithmic Point of View /

by Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
Published 2008

Table of Contents: “... Arithmetic -- Bit Vectors -- Arrays -- Pointer Logic -- Quantified Formulas -- Deciding a Combination...”
View full text

Electronic eBook

13

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... -- Possibilistic Planning Using Description Logics: A First Step -- Multi-lattices as a Basis for Generalized Fuzzy...”
View full text

Electronic eBook

14

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Published 2010

Table of Contents: “... Building and Reasoning -- Applications of CBR in Oil Well Drilling: A General Overview -- Data Mining...”
View full text

Electronic eBook

Narrow Search