On stratified regions

Details On stratified regions On stratified regions

2009-04-14

arxiv.org/abs/0904.2076v2

Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Cor\'ee, R\'epublique De (2009)

Computer Science

Logic in Computer Science

Scientific paper

Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable stratification of the type and effect system entails the termination of the typable programs. The proof technique covers a simply typed, multi-threaded, call-by-value lambda-calculus, equipped with a variety of scheduling (preemptive, cooperative) and interaction mechanisms (references, channels, signals).

Affiliated with

Also associated with

No associations

Rating

On stratified regions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On stratified regions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On stratified regions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-98475