Date: 2014-09-13 07:09:29Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming | | SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated testAdd to Reading ListSource URL: lara.epfl.chDownload Document from Source Website File Size: 244,31 KBShare Document on Facebook
|