Inferring Static Non-monotone Size-aware Types Through Testing
Ron van Kesteren, Olha Shkaravska, Marko van EekelenVolume:
216
Year:
2008
Language:
english
Pages:
19
DOI:
10.1016/j.entcs.2008.06.033
File:
PDF, 367 KB
english, 2008