First Page | Document Content | |
---|---|---|
Date: 2016-03-05 17:06:25Software engineering Computer programming Constraint programming Enumerated type Type theory Constraint satisfaction problem Generator Backtracking Data structure | Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation Ivan Kuraj CSAIL, MIT, USAAdd to Reading ListSource URL: tinytocs.ece.utexas.eduDownload Document from Source WebsiteFile Size: 86,30 KBShare Document on Facebook |