info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Annual Peter Landin Semantics Seminar: Building Trustworthy Refactoring Tools, 12th December, 6pm, London. Speaker: Prof. Simon Thompson
12 views
Skip to first unread message
paul...@googlemail.com
Jul 30, 2016, 4:07:03 PM7/30/16
to
(Apologies if you receive multiple copies of this announcement)
BCS FACS - Annual Peter Landin Semantics Seminar
Building Trustworthy Refactoring Tools
Date/Time: Monday 12 December 2016, 6.00pm - 9.00pm
Venue BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA
Speaker: Professor Simon Thompson - University of Kent
Cost: Free
Book Online: https://events.bcs.org/book/2150/
Peter Landin (1930 - 2009) was a pioneer whose ideas underpin modern
computing. In the 1950s and 1960s, Landin showed that programs could be
defined in terms of mathematical functions, translated into functional
expressions in the lambda calculus, and their meaning calculated with an
abstract mathematical machine. Compiler writers and designers of modern-day
programming languages alike owe much to Landin's pioneering work.
Each year, a leading figure in computer science will pay tribute to
Landin's contribution to computing through a public seminar. This year's
seminar is entitled “Building trustworthy refactoring tools” and will be
given by Professor Simon Thompson (University of Kent).
Programme
=========
5.15pm Coffee
6.00pm Welcome & Introduction
6.05pm Peter Landin Semantics Seminar
Building trustworthy refactoring tools
Professor Simon Thompson
University of Kent
7.20pm Drinks Reception
Seminar details
===============
Refactorings are program transformations that are intended to change the
way that a program works without changing what it does. Refactoring is
used to make programs more readable, easier to maintain and extend, or to
improve their efficiency. These changes can be complex and wide-ranging,
and so tools have been built to automate these transformations.
Because refactoring involves changing program source code, someone who uses
a refactoring tool needs to be able to trust that the tool will not
break their code. In this talk I'll explore what is meant by "preserving
meaning" in practice, and how we provide various levels of assurance for
refactoring’s, ranging from testing to full, machine assisted,
verification. While the context is tools for functional programming
languages like Haskell, Erlang and OCaml, the conclusions apply more
widely, for instance to object-oriented languages.
About the speaker
=================
Simon Thompson is Professor of Logic and Computation at the University of
Kent. Functional programming is his main research field, but he has
worked in various aspects of logic, and testing as well. He is the author
of books on Haskell, Miranda, Erlang and constructive type theory. The work
reported here is a result of collaborations with colleagues past and
current.
BCS FACS - Annual Peter Landin Semantics Seminar
Building Trustworthy Refactoring Tools
Date/Time: Monday 12 December 2016, 6.00pm - 9.00pm
Venue BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA
Speaker: Professor Simon Thompson - University of Kent
Cost: Free
Book Online: https://events.bcs.org/book/2150/
Peter Landin (1930 - 2009) was a pioneer whose ideas underpin modern
computing. In the 1950s and 1960s, Landin showed that programs could be
defined in terms of mathematical functions, translated into functional
expressions in the lambda calculus, and their meaning calculated with an
abstract mathematical machine. Compiler writers and designers of modern-day
programming languages alike owe much to Landin's pioneering work.
Each year, a leading figure in computer science will pay tribute to
Landin's contribution to computing through a public seminar. This year's
seminar is entitled “Building trustworthy refactoring tools” and will be
given by Professor Simon Thompson (University of Kent).
Programme
=========
5.15pm Coffee
6.00pm Welcome & Introduction
6.05pm Peter Landin Semantics Seminar
Building trustworthy refactoring tools
Professor Simon Thompson
University of Kent
7.20pm Drinks Reception
Seminar details
===============
Refactorings are program transformations that are intended to change the
way that a program works without changing what it does. Refactoring is
used to make programs more readable, easier to maintain and extend, or to
improve their efficiency. These changes can be complex and wide-ranging,
and so tools have been built to automate these transformations.
Because refactoring involves changing program source code, someone who uses
a refactoring tool needs to be able to trust that the tool will not
break their code. In this talk I'll explore what is meant by "preserving
meaning" in practice, and how we provide various levels of assurance for
refactoring’s, ranging from testing to full, machine assisted,
verification. While the context is tools for functional programming
languages like Haskell, Erlang and OCaml, the conclusions apply more
widely, for instance to object-oriented languages.
About the speaker
=================
Simon Thompson is Professor of Logic and Computation at the University of
Kent. Functional programming is his main research field, but he has
worked in various aspects of logic, and testing as well. He is the author
of books on Haskell, Miranda, Erlang and constructive type theory. The work
reported here is a result of collaborations with colleagues past and
current.
0 new messages