Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria

Source URL: plv.csail.mit.edu

• Programming idioms
• Computability theory
• Functional programming
• Logic in computer science
• Models of computation
• Recursion
• Denotational semantics
• Monad
• FO
• Valuation
• Static single assignment form

Optimization of Common Table Expressions in MPP Database Systems I. Motivation! II. CTE Representation in Orca! WITH v AS (SELECT i_brand FROM item WHERE i_color = ’red’)

Source URL: acmsocc.github.io

• SQL keywords
• Database management systems
• SQL
• Compiler optimizations
• Hierarchical and recursive queries in SQL
• Recursion
• Inline expansion
• Join
• Database index
• Select

Birkhoff type decompositions and the Baker–Campbell–Hausdorff recursion Kurusch Ebrahimi-Fard∗ ´ tudes Scientifiques

Source URL: www.math.vanderbilt.edu

Collapsible Pushdown Automata and Recursion Schemes M. Hague∗ A. S. Murawski† C.-H. L. Ong‡

Source URL: www.cs.rhul.ac.uk

Lecture #6: Recursion Philosophy of Functions (I) Syntactic specification (signature) def sqrt(x):

Source URL: cs61a.org

Generative and accumulative recursion Readings: Sections 25, 26, 27, 30, 31 • Some subsections not explicitly covered in lecture • Section 27.2 technique applied to strings

Source URL: www.student.cs.uwaterloo.ca

PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Binary Search Trees Activity Guidelines

Source URL: cahsi.cs.utep.edu

• Computer programming
• Software engineering
• Graph theory
• Binary trees
• Search algorithms
• Data types
• Recursion
• Subroutines
• Search tree
• Binary search tree
• Binary search algorithm
• B-tree

Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification Gert Smolka1 and Tobias Tebbi1 1 Saarland University, Saarbrücken, Germany

Source URL: www.ps.uni-saarland.de

PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Exam Review Activity Guidelines

Source URL: cahsi.cs.utep.edu

• Computer programming
• Software engineering
• Computing
• Recursion
• Linked list
• Null
• Java
• Tree traversal
• Doubly linked list

Higher-Order Game Theory Paulo Oliva Queen Mary University of London School of Electronic Engineering and Computer Science London, E1 4NS United Kingdom of Great Britain and Northern Ireland

Source URL: logica.dmi.unisa.it

• Computability theory
• Recursion
• Operations research
• Bar recursion
• FP
• Oliva
• Mathematical optimization