Certifying and reasoning on cost annotations of functional programs

Details Certifying and reasoning on cost annotations of functional programs Certifying and reasoning on cost annotations of functional programs

2011-10-11

arxiv.org/abs/1110.2350v1

Computer Science

Programming Languages

(2011)

Scientific paper

We present a so-called labelling method to insert cost annotations in a
higher-order functional program, to certify their correctness with respect to a
standard compilation chain to assembly code, and to reason on them in a
higher-order Hoare logic.

Affiliated with

Also associated with

No associations

Rating

Certifying and reasoning on cost annotations of functional 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 Certifying and reasoning on cost annotations of functional programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Certifying and reasoning on cost annotations of functional programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-471870