scientific article; zbMATH DE number 4037164

MaRDI QIDQ3776597zbMATH OpenFDO

Authors Alain Laville

Publication date 1987

zbMATH Keywords

call-by-needfunctional language compilersfunctional programminglazynesspattern matching

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 176147
• Functional and Logic Programming
• The Negligible and Yet Subtle Cost of Pattern Matching
• scientific article; zbMATH DE number 177788
• Warnings for pattern matching

Cited in

(14)

• Refined compilation of pattern-matching for functional languages
• Equational problems and disunification
• Sequentiality in orthogonal term rewriting systems
• scientific article; zbMATH DE number 1638660 (Why is no real title available?)
• Warnings for pattern matching
• scientific article; zbMATH DE number 177788 (Why is no real title available?)
• Optimal solutions to pattern matching problems
• AC complement problems: Satisfiability and negation elimination
• Adaptive pattern matching
• Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
• Transformations and confluence for rewrite systems
• A verified algorithm for deciding pattern completeness
• Semantics-directed compilation of nonlinear patterns
• Comparison of priority rules in pattern matching and term rewriting

Describes a project that uses

Uses Software

• ML
• Miranda

This page was built for publication:

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