Translation Correctness for First-Order Object-Oriented Pattern Matching

DOI10.1007/978-3-540-76637-7_5MaRDI QIDQ3498433zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 42964 (Why is no real title available?)
• scientific article; zbMATH DE number 1954106 (Why is no real title available?)
• A new look at pattern matching in abstract data types
• Coinductive big-step operational semantics
• Extensible algebraic datatypes with defaults
• Extensible pattern matching via a lightweight language extension
• Optimizing pattern matching
• Proving Properties of Programs by Structural Induction
• Translation Correctness for First-Order Object-Oriented Pattern Matching
• Warnings for pattern matching

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)