Dr. Luca Chiarabini

Luca Chiarabini. Automatic Synthesis of an Efficient Algorithm for the Similarity of Strings Problem. H. Saidi, N. Shankar (eds.): Proceedings of the 4th Workshop on Automated Formal Methods (AFM'09), Grenoble, France, June 27, 2009, pp. 23-30, 2009.

Philippe Audebaud, Luca Chiarabini. New Development in Extracting Tail Recursive Programs from Proofs. Pre-Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'09), Coimbra, Portugal, September 9-11, 2009, 2009.

Luca Chiarabini. Program Development by Proof Transformation. PhD Thesis, LMU München, December 2009.

Luca Chiarabini. Extraction of Efficient Programs from Proofs: The Case of Structural Induction over Natural Numbers. A. Beckmann, C. Dimitracopoulos, B. Löwe (eds.): Local Proceedings of the Fourth Conference on Computability in Europe: Logic and Theory of Algorithms (CiE'08), Athens, Greece, June 15-20, 2008, pp. 64-76, 2008.

Luca Chiarabini. Program Development by Proof Transformation: Recent Evolutions. 15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'08), Doha, Qatar, November 22-27, 2008, Short Talk, 2008.