Inferring static non-monotonically sized types through testing

Find Full text
Thumbnail
Fulltext:
34625.pdf
Size:
266.6Kb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
2007
Author(s)
Kesteren, R. van
Shkaravska, O.
Eekelen, M. van
Publisher
CNAM, France
In
Echahed, Rachid (ed.), WFLP 2007: 16 th International Workshop on Functional and (Constraint) Logic Programming ,Paris, France, June 25th 2007, pp. 123-139
Annotation
WFLP 2007; RDP07
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/34625   https://hdl.handle.net/2066/34625
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.