Matrix Code: a Language for the Parallel Development of Verification and Program

Details Matrix Code: a Language for the Parallel Development of Verification and Program Matrix Code: a Language for the Parallel Development of Verification and Program

2011-09-25

arxiv.org/abs/1109.5416v3

Computer Science

Programming Languages

27 pages, 12 figures, revision consists of reformatting to increase readability

Scientific paper

A program in matrix code is a matrix that can be interpreted in three ways. First, it is an executable program. Second, the matrix can be interpreted as a set of Floyd verification conditions that prove the program partially correct. Third, the matrix can be interpreted as a transformation in a generalized vector space. We relate the algebra of such transformations to the program's specification and behaviour. The advantage of matrix code is that it supports verification-driven programming, a method for the parallel development of correctness proof and code. We present examples of such development including one that illustrates gain in efficiency not easily obtainable with conventional control structures.

Affiliated with

Also associated with

No associations

Rating

Matrix Code: a Language for the Parallel Development of Verification and Program 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 Matrix Code: a Language for the Parallel Development of Verification and Program, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Matrix Code: a Language for the Parallel Development of Verification and Program will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-685485