Reductio [SEP] programming language
Reductio
Reductio is open source software written using the Java Programming Language from an idea that originated in a research paper called "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs". Reductio and QuickCheck utilise a testing technique called Automated Specification-based Testing.
The primary objective of Reductio is to make testing as rigorous as possible, while alleviating developer effort through automation of many common testing tasks. Reductio includes usage examples that demonstrate how this objective has been met using both traditional Java 1.5 and Java 7 BGGA syntax
implementing the APL programming language.
Selected publications.
- "Microprogrammed APL," R.Zaks, Fifth IEEE Computer Conference Proceedings, Sep. 1971 p 193.
- "A Microprogrammed APL Implementation," R. Zaks Ph. D. Thesis, University of California, Berkeley, June 1972.
- "A Firmware APL Time Sharing System", R. Zaks D. Steingart, J. Moore, SJCC 71, AFIPS Proceedings, Vol. 38, AFIPS Press, May 1971, pp 179–180.
- "Second Euromicro Symposium on