Canlyniadau Chwilio - functions computation ((programming using) or (programming recursion)) based tool*

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Cael y testun llawn

Electronig eLyfr

2

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”
Cael y testun llawn

Electronig eLyfr

3

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
Cael y testun llawn

Electronig eLyfr

4

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
Cael y testun llawn

Electronig eLyfr

5

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
Cael y testun llawn

Electronig eLyfr

6

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Cael y testun llawn

Electronig eLyfr

7

Genetic Programming Theory and Practice III

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”
Cael y testun llawn

Electronig eLyfr

8

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
Cael y testun llawn

Electronig eLyfr

9

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Cael y testun llawn

Electronig eLyfr

10

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Cael y testun llawn

Electronig eLyfr

12

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”
Cael y testun llawn

Electronig eLyfr

13

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference...

Cyhoeddwyd 2010

Tabl Cynhwysion: “...: An Automata-Based String Analysis Tool for PHP -- Automata Theory -- When Simulation Meets Antichains...”
Cael y testun llawn

Electronig eLyfr

14

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Cael y testun llawn

Electronig eLyfr

15

Mathematica®: A Problem-Centered Approach

gan Hazrat, Roozbeh., Hazrat, Roozbeh.
Cyhoeddwyd 2015

Tabl Cynhwysion: “... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Cael y testun llawn

Electronig eLyfr

16

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Knowledge Based on Linear Temporal Logic LTL -- Pure Iteration and Periodicity -- Programming Experimental...”
Cael y testun llawn

Electronig eLyfr

17

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Cael y testun llawn

Electronig eLyfr

18

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
Cael y testun llawn

Electronig eLyfr

19

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Cyhoeddwyd 2015

Tabl Cynhwysion: “... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”
Cael y testun llawn

Electronig eLyfr

20

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad