Affiliation:
1. University of Minnesota, USA
Abstract
Randomized property-based testing has gained much attention recently, but most frameworks stop short at polymorphic properties. Although Bernardy
et al.
have developed a theory to reduce a wide range of polymorphic properties to monomorphic ones, it relies upon ad-hoc embedding-projection pairs to massage the types into a particular form. This paper skips the embedding-projection pairs and presents a mechanical monomorphization for a general class of polymorphic functions, a step towards automatic testing for polymorphic properties. The calculation of suitable types for monomorphization turns out to be
logarithm
.
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Reference19 articles.
1. Categories of Containers
2. Indexed containers
3. Jean-Philippe Bernardy. 2017. A dual view of testing of (polymorphic) programs. https://jyp.github.io/posts/polytest-two.html Jean-Philippe Bernardy. 2017. A dual view of testing of (polymorphic) programs. https://jyp.github.io/posts/polytest-two.html
4. Testing Polymorphic Properties
5. Nested datatypes
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献