Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion based » recursion case, reception based, recursion focused
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion based » recursion case, reception based, recursion focused
1
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
Foilsithe 2005
Clár Ábhair:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
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
4
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
5
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
6
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
7
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
8
Foilsithe 2006
Clár Ábhair:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Foilsithe 2005
Clár Ábhair:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2014
Clár Ábhair:
“...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
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
12
Foilsithe 2010
Clár Ábhair:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2007
Clár Ábhair:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2005
Clár Ábhair:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2013
Clár Ábhair:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2007
Clár Ábhair:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2005
Clár Ábhair:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Foilsithe 2008
Clár Ábhair:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
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
20
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
- 1
- 2
- Ar aghaidh »
- [2]