Pattern Matching with Sequence Variables - Annual PhD Colloquium 2016

  • L. Thomas van Binsbergen (Speaker)

Activity: Participating in or organising an event › Participation in conference

Description

The PLanCompS project has produced CBS, a language for specifying the formal semantics of software languages. CBS supports functions that can be called with an arbitrary number of arguments, a feature proven to be convenient for specifying software languages.
Patterns with 'sequence variables' are used to define these functions.

In this talk we motivate sequence variables with examples taken from CBS and by a comparison to Java's varargs. We introduce conventional pattern matching as it is found in many declarative and functional programming languages. We extend conventional pattern matching to allow for sequence variables, and give a simple algorithm that enables implementation.
Period11 May 2016
Event typeOther
Sponsor

Keywords

  • Functional Programming
  • Pattern Matching

Documents & Links

  • pres

    File: application/pdf, 247 KB

    Type: Text

Related content