author = { Berger, Ulrich AND Seisenberger, Monika AND Woods, Gregory J. M. Ulrich Berger and Monika Seisenberger and Gregory J. M. Woods },

title = { Extracting Imperative Programs from Proofs: In-place Quicksort },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Program Extraction , Minlog , In-Place Quicksort,Computational Monads , Verification , Realizability , Imperative Programs },

year = {2014},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }