Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Galois Tech Talk</h1> <div class='date'><time class="dtstart dt-start" title="2010-04-01T10:30:00" datetime="2010-04-01T10:30:00">Thursday, April 1, 2010 from 10:30</time>–<time class="dtend dt-end" title="2010-04-01T11:30:00" datetime="2010-04-01T11:30:00">11:30am</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202390439'><span class='fn org p-name'>Galois, Inc</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">421 SW 6th Ave. Suite 300</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">OR</span> <span class="postal-code p-postal-code">97204</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>) </div> </div> <div class="description p-description"> <hr> <p>** NOTICE: This talk has been postponed until April 1 at 10:30am.</p> <hr> <p>Building Refactoring Tools for Functional Languages</p> <p>Details:</p> <pre><code>* Presenter: Prof. Simon Thompson * Date: Thursday, April 1, 2010 * Time: 10:30am </code></pre> <p>Abstract: Refactoring is the process of changing the design of a program without changing what it does. Typical refactorings, such as function extraction and generalisation, are intended to make a program more amenable to extension, more comprehensible and so on. Refactorings differ from other sorts of program transformation in being applied to source code (rather than within the bowels of a compiler), and in having an effect across a code base. Because of this, there is a need to give (semi-)automated support to the process. This talk will reflect on our experience of building tools to refactor functional programs written in Haskell (HaRe?) and Erlang (Wrangler). In doing this we will address system design, the pragmatics of system take-up, as well as contrasting the style of refactoring and tooling for Haskell and Erlang.</p> <p>Bio: Simon Thompson is a Professor of Logic and Computation at the University of Kent.</p> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://www.galois.com/blog/2010/03/20/tech-talk-three-talks-one-week/">Website</a></li> </ul> </div>