Volume 2009, 2009

• 
  Brian Huffman: Stream Fusion. , (Formal proof development)
• 
  Andreas Lochbihler: Code Generation for Functions as Data. , (Formal proof development)
• 
  Bart Kastermans: An Example of a Cofinitary Group in Isabelle/HOL. , (Formal proof development)
• 
  Peter Chapman: Invertibility in Sequent Calculi. , (Formal proof development)
• 
  Andrei Popescu: Ordinals and Cardinals. , (Formal proof development)
• 
  Peter Gammie: The Worker/Wrapper Transformation. , (Formal proof development)
• 
  Daniel Wasserrab: Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer. , (Formal proof development)
• 
  Mark Ijbema: Perfect Number Theorem. , (Formal proof development)
• 
  Peter Lammich: Collections Framework. , (Formal proof development)
• 
  Peter Lammich: Tree Automata. , (Formal proof development)
• 
  Stefan Berghofer, Markus Reiter: Formalizing the Logic-Automaton Connection. , (Formal proof development)
• 
  Armin Heller: A Fast SAT Solver for Isabelle in Standard ML. , (Formal proof development)

last updated on Fri May 24 05:40:20 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page