Work

Optimising First-Class Pattern Matching

Year: 2022

Type: conference-paper

Abstract: Pattern matching is a high-level notation for programs to analyse the shape of data, and can be optimised to efficient low-level instructions. The Stratego language uses first-class pattern matching, a powerful form of pattern matching that traditional optimisation techniques do not apply to directly.

Source: ACM SIGPLAN International Conference on Software Language Engineering (SLE)

DOI: 10.1145/3567512.3567519

Authors: Jeff Smits, Toine Hartman, Jesper Cockx

Institution: Delft University of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: Oracle

OpenAlex ID: W4310514133

FWCI: 0.174

Cites: 32

Cited by: 2

Related to: 10