Suchergebnisse - functions computational ((programming using) or (programming reasoning)) arrays a~

1

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

Veröffentlicht 2008

Inhaltsangabe: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
Volltext

Elektronisch E-Book

3

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

Veröffentlicht 2010

Inhaltsangabe: “... New Requirements Analysis Tool with Synthesis -- Comfusy: A Tool for Complete Functional Synthesis...”
Volltext

Elektronisch E-Book

4

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

Veröffentlicht 2008

Inhaltsangabe: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Volltext

Elektronisch E-Book

5

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Volltext

Elektronisch E-Book

6

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Veröffentlicht 2015

Inhaltsangabe: “...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”
Volltext

Elektronisch E-Book

7

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

Veröffentlicht 2007

Inhaltsangabe: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Volltext

Elektronisch E-Book

8

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

Veröffentlicht 2006

Inhaltsangabe: “... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Volltext

Elektronisch E-Book

10

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

Veröffentlicht 2013

Inhaltsangabe: “...-RLDA: A New Classification Scheme for Face Images Using Probabilistic Reasoning Model -- Optimal Stable...”
Volltext

Elektronisch E-Book

11

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

Veröffentlicht 2010

Inhaltsangabe: “... Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification...”
Volltext

Elektronisch E-Book

12

Decision Procedures An Algorithmic Point of View /

von Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
Veröffentlicht 2008

Inhaltsangabe: “... Arithmetic -- Bit Vectors -- Arrays -- Pointer Logic -- Quantified Formulas -- Deciding a Combination...”
Volltext

Elektronisch E-Book

13

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

Veröffentlicht 2006

Inhaltsangabe: “... -- Possibilistic Planning Using Description Logics: A First Step -- Multi-lattices as a Basis for Generalized Fuzzy...”
Volltext

Elektronisch E-Book

14

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

Veröffentlicht 2010

Inhaltsangabe: “... Building and Reasoning -- Applications of CBR in Oil Well Drilling: A General Overview -- Data Mining...”
Volltext

Elektronisch E-Book

Suche einschränken