Benchmarking Purely Functional Data Structures (1999)

Cached

Download Links

by Graeme E. Moss
Venue:Journal of Functional Programming
Citations:2 - 0 self

Documents Related by Co-Citation

315 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
250 Principles and methods of Testing Finite State Machines a survey. The – David Lee, Mihalis Yannakakis - 1996
121 Implementing Type Classes – John Peterson, Mark Jones
116 Software testing based on formal specification: a theory and a tool. Softw Eng J 6:387–405 – G Bernot, Gaudel MC, B Marre - 1991
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
61 Formal Test Automation: A Simple Experiment – Axel Belinfante, Jan Feenstra, Rene de Vries, Jan Tretmans, Nicolae Goga, Loe Feijs, Sjouke Mauw, Lex Heerink - 1999
58 Testing transition systems: an annotated bibliography – E Brinksma, J Tretmans - 2001
55 Using on-the-Fly Verification Techniques for the Generation of Test Suites – Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho - 1996