Torthaí Cuardaigh - functions functional ((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 /

Foilsithe 2006

Clár Ábhair: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

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

Foilsithe 2007

Clár Ábhair: “... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

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

Foilsithe 2010

Clár Ábhair: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

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

Foilsithe 2005

Clár Ábhair: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

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

Foilsithe 2013

Clár Ábhair: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

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

Foilsithe 2008

Clár Ábhair: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Genetic Programming Theory and Practice III

Foilsithe 2006

Clár Ábhair: “... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

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

Foilsithe 2010

Clár Ábhair: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

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

Foilsithe 2008

Clár Ábhair: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

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

Foilsithe 2005

Clár Ábhair: “... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

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

Foilsithe 2010

Clár Ábhair: “...: An Automata-Based String Analysis Tool for PHP -- Automata Theory -- When Simulation Meets Antichains...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Mathematica®: A Problem-Centered Approach

le Hazrat, Roozbeh., Hazrat, Roozbeh.
Foilsithe 2015

Clár Ábhair: “... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

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

Foilsithe 2008

Clár Ábhair: “... Knowledge Based on Linear Temporal Logic LTL -- Pure Iteration and Periodicity -- Programming Experimental...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

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

Foilsithe 2015

Clár Ábhair: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

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

Foilsithe 2015

Clár Ábhair: “... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

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

Foilsithe 2008

Clár Ábhair: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Innovations in Computing Sciences and Software Engineering

Foilsithe 2010

Clár Ábhair: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Mathematica®: A Problem-Centered Approach

le Hazrat, Roozbeh., Hazrat, Roozbeh.
Foilsithe 2010

Clár Ábhair: “... -- 10.1 Functions with local variables -- 10.2 Functions with conditions -- 11. Recursive functions -- 12...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Systems -- The Implementation of Mazurkiewicz Traces in POEM -- Model-Based Tool-Chain Infrastructure...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng