Inferring static non-monotonically sized types through testing Ron van Kesteren, Olha Shkaravska, Marko van Eekelen {R.vanKesteren, O.Shkaravska, M.vanEekelen Institute for Computing and Information Sciences Ra - Marko - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-04-11 11:05:04		Inferring static non-monotonically sized types through testing Ron van Kesteren, Olha Shkaravska, Marko van Eekelen {R.vanKesteren, O.Shkaravska, M.vanEekelen}@cs.ru.nl Institute for Computing and Information Sciences Ra Add to Reading List Source URL: www.cs.ru.nl Download Document from Source Website File Size: 198,51 KB Share Document on Facebook