[Club2] Invitation: Clone Detection in Isabelle Theories @ Wed Apr 27, 2016 14:00 - 14:30 (Club2)

[julianbrunner at gmail.com]

You have been invited to the following event.

Title: Clone Detection in Isabelle Theories
Speaker: Dominik Vinan
Type: Bachelor's Thesis Presentation

Abstract:
Duplicated code fragments within software projects complicate maintenance  
and require refactoring. Clone detection frameworks, such as ConQAT, offer  
well-engineered clone detection functionalities for a number of different  
programming languages. At the moment there is no support for clone  
detection in Isabelle theories. The target of this thesis is the analysis  
of Isabelle theories and the recognition of source code patterns that can  
be used for clone detection. The basis of the code analysis will be the  
Scala library Libisabelle that extracts symbols of Isabelle theories and  
provides the information as reports. Using the reports, a software will be  
implemented that uses the functionality of ConQAT to analyze Isabelle  
theories for duplications in source code. The most important results are a  
theoretically described algorithm for the normalization  
(generalization/transformation) of Isabelle theory source code. It was used  
to implement a ConQAT plug-in (called Bundle) that provides a user-friendly  
visual output. This thesis is mainly interesting for developers of Isabelle  
theories and clone detection. It should be the basis for further research  
and enhancement of the presented algorithm, to provide more precise and  
differenciated results.
When: Wed Apr 27, 2016 14:00 - 14:30 Berlin
Where: MI 00.09.038 (Turing)
Calendar: Club2
Who:
     * julianbrunner at gmail.com - creator
     * hummel at cqse.eu
     * club2 at mailbroy.informatik.tu-muenchen.de
     * dominik_v100 at hotmail.de

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=OGZtMTY2MTJzdTJjYnNnOHN0cDU4NG0yZjAgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWU1MzA2NjA5NDU3NWNiYjQ0ZWM0YzBlMTY0MmM2ZWY5Y2JkYTYxYTY&ctz=Europe/Berlin&hl=en

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this courtesy email at the account  
club2 at mailbroy.informatik.tu-muenchen.de because you are an attendee of  
this event.

To stop receiving future updates for this event, decline this event.  
Alternatively you can sign up for a Google account at  
https://www.google.com/calendar/ and control your notification settings for  
your entire calendar.

Forwarding this invitation could allow any recipient to modify your RSVP  
response. Learn more at  
https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160418/9513cd72/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2891 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160418/9513cd72/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2950 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160418/9513cd72/attachment.bin>