Translation Correctness for First-Order Object-Oriented Pattern Matching

DOI10.1007/978-3-540-76637-7_5zbMATH Open1137.68353OpenAlexW1589861019MaRDI QIDQ3498433FDOQ3498433

Authors: Burak Emir, Qin Ma, Martin Odersky 

Publication date: 15 May 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-76637-7_5

Recommendations

• A new look at pattern matching in abstract data types
• Formal validation of pattern matching code
• Pattern matching with abstract data types
• First-class patterns
• Functional and Logic Programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Extensible pattern matching via a lightweight language extension
• Proving Properties of Programs by Structural Induction
• Coinductive big-step operational semantics
• A new look at pattern matching in abstract data types
• Warnings for pattern matching
• Translation Correctness for First-Order Object-Oriented Pattern Matching
• Optimizing pattern matching
• Extensible algebraic datatypes with defaults

Cited In (1)

• Translation Correctness for First-Order Object-Oriented Pattern Matching

This page was built for publication: Translation Correctness for First-Order Object-Oriented Pattern Matching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498433)