Accurate Programming: Thinking about programs in terms of properties

Details Accurate Programming: Thinking about programs in terms of properties Accurate Programming: Thinking about programs in terms of properties

2011-09-05

arxiv.org/abs/1109.0786v1

EPTCS 66, 2011, pp. 236-260

Computer Science

Programming Languages

In Proceedings DSL 2011, arXiv:1109.0323

Scientific paper

10.4204/EPTCS.66.13

Accurate programming is a practical approach to producing high quality programs. It combines ideas from test-automation, test-driven development, agile programming, and other state of the art software development methods. In addition to building on approaches that have proven effective in practice, it emphasizes concepts that help programmers sharpen their understanding of both the problems they are solving and the solutions they come up with. This is achieved by encouraging programmers to think about programs in terms of properties.

Affiliated with

Also associated with

No associations

Rating

Accurate Programming: Thinking about programs in terms of properties 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 Accurate Programming: Thinking about programs in terms of properties, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Accurate Programming: Thinking about programs in terms of properties will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-449147