mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Defenses » October 2017 » Petros Barbagiannis Anonymously browsing from 54.80.102.170 at 05:56:45, 21-08-2018. login
download defense details: { pdf }

MSc thesis defense presentation

Petros Barbagiannis defends his MSc thesis

Date: Tuesday, 31 Oct 2017
Time: 11:00
Location: Univeristy of Athens, Department of Informatics and Telecommunications, A3
Thesis title: Non-Strict Pattern Matching and Delimited Control
Committee:

Thesis abstract

It has been long known that continuations and evaluation strategies are two intimately related concepts of functional programming languages. In one of the earliest results, continuation-passing style (CPS) was introduced as a means to decouple the evaluation order of a source language from the evaluation order of its interpreter. Since then, this style of programming has been proved extremely useful in areas ranging from compiler implementation to denotational semantics.

Since the introduction of CPS, a wide variety of control operators have been developed. Delimited control operators, in particular, are a powerful mechanism of functional programming languages that generalize traditional first-class control operators, such as call/cc, and provide the means to abstract control. One notable application of delimited control operators is the construction of a novel abstract machine for the call-by-need λ-calculus that simulates store-based effects with delimited continuations.

Pattern matching on algebraic data types is an essential feature of functional programming languages. However, pattern matching is often thought to be syntactic sugar that can be merely represented by a proper encoding. In this thesis, we study the operational characteristics of non-strict pattern matching. We also explore the semantics of control operators, as well as some of their applications. Finally, we seek to examine the connection between implementing a non-strict pattern matching evaluator and delimited continuations.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.