Static Inference of Polynomial Size--Aware Types | ORKG Ask

We use cookies to provide a better user experience.

Data Protection

Related items

Type Checking and Weak Type Inference for Polynomial Size Analysis of First--Order Functions

Shkaravska, O.
Kesteren, R. van
Eekelen, M.C.J.D. van

January 2007

Contains fulltext : 36644.pdf (publisher's version ) (Closed access)32 p

Inferring Static Non-monotone Size-aware Types Through Testing

van Kesteren, Ron
Shkaravska, Olha
van Eekelen, Marko

July 2008

AbstractWe propose a size analysis procedure that combines testing and type checking to automaticall...

Inferring Static Non-monotone Size-aware Types Through Testing

Kesteren, Ron van
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2008

Contains fulltext : 72206.pdf (preprint version ) (Open Access)16th International ...