[Club2] Invitation: Clone Detection in Isabelle Theories @ Wed Oct 14, 2015 14:45 - 15:30 (Club2)

[julianbrunner at gmail.com]

You have been invited to the following event.

Title: Clone Detection in Isabelle Theories
Speaker: Maximilian Walther
Type: Bachelor's Thesis Presentation

Abstract:

Duplicated (cloned) code is a common occurrence in most software systems. A  
considerable fraction (at least 5%) of the source code of software systems  
contain duplicated code. Code duplication, independent of whether  
redundancy was created by copying a code fragment and then reusing it, with  
or without minor modifications, or by independent development of  
behaviorally similar code, is a well known code smell in software  
maintenance.

"Smells are certain structures in the code that indicate violation of  
fundamental design principles and negatively impact design quality"

The presence of clones in source code is believed to not only have an  
effect on the maintenance costs, since updates have to be performed in  
multiple places, but also being defect prone as inconsistent changes to  
code duplicates can lead to unexpected or even incorrect program behavior.  
While these positions are often correct, case studies have shown that this  
is not universally true. Moreover code duplication seems to be a legitimate  
or even constructive design option in several situations. Therefore, this  
thesis goes along with the development of a plugin, using the quality  
analysis framework ConQAT and an Isabelle/PIDE wrapper called Libisabelle,  
to analyse and detect code clones in Isabelle Theories. First, we begin  
with a basic introduction to clone detection background and terminology, we  
organize the current techniques into a taxonomy based on a generic clone  
detection process model. Second, we provide information about the prover  
assistant Isabelle, its Theory-Files and Libisabelle. Finally, this thesis  
concludes by giving an oversight of ConQAT and the development steps of our  
plugin.
When: Wed Oct 14, 2015 14:45 - 15:30 Berlin
Where: MI 00.09.038 (Turing)
Calendar: Club2
Who:
     * julianbrunner at gmail.com - creator
     * maxiwalther at mac.com
     * club2 at mailbroy.informatik.tu-muenchen.de

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=dDVwamx0aGUzbjNzdHV1YmRmaG5lbWxnY2sgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTNkNjliYmI3ZjZhM2JhYjlmNDFlMTA3NmQ5YWM2ZWU2ODFiMmZhMDc&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/20150914/9d4aee6a/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 3209 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20150914/9d4aee6a/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 3271 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20150914/9d4aee6a/attachment.bin>