Automatic Coding Rule Conformance Checking Using Logic Programs

Details Automatic Coding Rule Conformance Checking Using Logic Programs Automatic Coding Rule Conformance Checking Using Logic Programs

2007-11-02

arxiv.org/abs/0711.0344v1

Computer Science

Programming Languages

Paper presented at the 17th Workshop on Logic-based Methods in Programming Environments (WLPE2007)

Scientific paper

Some approaches to increasing program reliability involve a disciplined use of programming languages so as to minimise the hazards introduced by error-prone features. This is realised by writing code that is constrained to a subset of the a priori admissible programs, and that, moreover, may use only a subset of the language. These subsets are determined by a collection of so-called coding rules.

Affiliated with

Also associated with

No associations

Rating

Automatic Coding Rule Conformance Checking Using Logic 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 Automatic Coding Rule Conformance Checking Using Logic Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic Coding Rule Conformance Checking Using Logic Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-437931