Work

Rigorous pattern matching as a language feature

Year: 2025

Type: article

Abstract: Structural pattern matching as a language feature has become more common in programming languages over the past decade. This paper will consider more generally the challenge of adding pattern matching as a programming language feature, from the points of view of language design, rigorous static error detection, and effectiveness. In this context, a pattern-matching language feature can be seen as providing a more rigorous approach to handling the complex conditionals that arise in processing highly structured input.

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-025-00788-z

Author: S. Tucker Taft

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,290

OpenAlex ID: W4409665657

FWCI:

Cites: 7

Cited by:

Related to: 10