Pattern minimization problems over recursive data types
DOI10.1145/1411204.1411242zbMath1323.68215OpenAlexW4241684253MaRDI QIDQ5178767
Publication date: 16 March 2015
Published in: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1411204.1411242
Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
This page was built for publication: Pattern minimization problems over recursive data types
