Resource control of object-oriented programs

Details Resource control of object-oriented programs Resource control of object-oriented programs

2007-06-15

arxiv.org/abs/0706.2293v1

Computer Science

Programming Languages

Scientific paper

A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Sup-interpretations have shown their interest to deal with the complexity of first order functional programs. For instance, they allow to characterize all the functions bitwise computable in Alogtime. This paper is an attempt to adapt the framework of sup-interpretations to a fragment of oriented-object programs, including distinct encodings of numbers through the use of constructor symbols, loop and while constructs and non recursive methods with side effects. We give a criterion, called brotherly criterion, which ensures that each brotherly program computes objects whose size is polynomially bounded by the inputs sizes.

Affiliated with

Also associated with

No associations

Rating

Resource control of object-oriented programs 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 Resource control of object-oriented programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Resource control of object-oriented programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-549625