Fulltext present in this item

Thumbnail
Fulltext: 72206.pdf
Format: PDF
Description: preprint version
Title: Inferring Static Non-monotone Size-aware Types Through Testing
Author(s): Kesteren, Ron van ; Shkaravska, O. ; Eekelen, M.C.J.D. van
Publication year: 2008
In: Electronic Notes in Theoretical Computer Science, (2008)Echahed, R. (ed.), Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), pp. 45-63
Publisher: Amsterdam : Elsevier
ISSN: 1571-0661
Annotation: 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), Paris, France 25 june 2007, 25 juni 2007
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/72206   https://hdl.handle.net/2066/72206

Display more details
Editor(s): Echahed, R.
Subject: Digital Security
Organization: Security of Systems
Digital Security
Former Organization: Biophysics
Journal title:
Electronic Notes in Theoretical Computer Science
Book title: Echahed, R. (ed.), Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007)
Page start: p. 45
Page end: p. 63

This item appears in the following Collection(s)

Browse

Statistics