Productivity and termination analysis in Eden using sized types

Speaker: Ricardo Pena

Time: Wednesday 6^th March 2002, at 13.15

Place: Room 1.70

Abstract:

The theory of sized types by Hughes and Pareto is extended in order to type several non trivial Eden parallel skeletons. To prove a type correct in this extended system, amounts to proving that the corresponding function is free from runtime errors such as non termination and/or deadlocks.

Productivity and termination analysis in Eden using sized types

Speaker: Ricardo Pena

Time: Wednesday 6th March 2002, at 13.15

Place: Room 1.70

Abstract:

Time: Wednesday 6^th March 2002, at 13.15