Smalltalk - Resilient & Type Inference (Was [ANN] Resilient(TM) Technology Preview)

You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

Author

Resilient & Type Inference (Was [ANN] Resilient(TM) Technology Preview)

Isaac Gouy

2004-04-01, 3:39 pm

Chris Uppal wrote:
> BTW, am I misinterpreting what I'm seeing or are you
> doing type inference ?

Maybe they will do?

Applications of Concrete-Type Inference
http://www.daimi.au.dk/~pahe/peter-ahe-thesis.pdf

"Specifically, we have implemented our system in the Resilient
Embedded System, a development platform for embedded systems. We also
demonstrate how our tool can be used to catch potential runtime errors
at compile time."

Chris Uppal

2004-04-02, 12:36 pm

Isaac Gouy wrote:

>
> Maybe they will do?
>
> Applications of Concrete-Type Inference
> http://www.daimi.au.dk/~pahe/peter-ahe-thesis.pdf

Thanks, that makes an interesting read.

Something to look forward to...

-- chris

Sponsored Links