Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
program manipulation » programs manipulating, from manipulation, array manipulation
functionals function » function function, functions functional, function dysfunction
manipulation https » simulation https
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
program manipulation » programs manipulating, from manipulation, array manipulation
functionals function » function function, functions functional, function dysfunction
manipulation https » simulation https
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
1
Foilsithe 2011
Ábhair:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2011
Ábhair:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Clár Ábhair:
“... -- Character Manipulation -- Data Aggregation -- Reshaping Data....”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Clár Ábhair:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2012
Clár Ábhair:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2006
Clár Ábhair:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2007
Clár Ábhair:
“... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Clár Ábhair:
“... State Estimation using Tactile Sensors -- Learning Manipulation Tasks by Demonstration -- Conclusions....”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Ábhair:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
11
Foilsithe 2006
Clár Ábhair:
“... Manipulation -- Improving Saddleback Search: A Lesson in Algorithm Design -- Loopless Functional Algorithms...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Foilsithe 2015
Clár Ábhair:
“... and Termination of Heap-Manipulating Programs -- Full Reduction in the Face of Absurdity -- CoLoSL: Concurrent...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Foilsithe 2014
Clár Ábhair:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Clár Ábhair:
“... -- Command-Line Parsing and Expansion -- Parameters and Variables -- Shell Functions -- String Manipulation...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Clár Ábhair:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Ábhair:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2015
Clár Ábhair:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Clár Ábhair:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Clár Ábhair:
“... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2008
Clár Ábhair:
“... -- Functional-Logic Graph Parser Combinators -- Proving Quadratic Derivational Complexities Using Context...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar