scientific article; zbMATH DE number 4037164

zbMATH Open0636.68011MaRDI QIDQ3776597FDOQ3776597

Authors: Alain Laville 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

functional programmingpattern matchingcall-by-needfunctional language compilerslazyness

Mathematics Subject Classification ID

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

Cited In (13)

• Title not available (Why is that?)
• Warnings for pattern matching
• Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
• Optimal solutions to pattern matching problems
• Refined compilation of pattern-matching for functional languages
• Sequentiality in orthogonal term rewriting systems
• Adaptive pattern matching
• Semantics-directed compilation of nonlinear patterns
• Equational problems and disunification
• Title not available (Why is that?)
• Comparison of priority rules in pattern matching and term rewriting
• AC complement problems: Satisfiability and negation elimination
• Transformations and confluence for rewrite systems

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)