An Abstract Programming System

Details An Abstract Programming System An Abstract Programming System

2003-06-05

arxiv.org/abs/cs/0306028v1

Computer Science

Software Engineering

Internal report

Scientific paper

The system PL permits the translation of abstract proofs of program correctness into programs in a variety of programming languages. A programming language satisfying certain axioms may be the target of such a translation. The system PL also permits the construction and proof of correctness of programs in an abstract programming language, and permits the translation of these programs into correct programs in a variety of languages. The abstract programming language has an imperative style of programming with assignment statements and side-effects, to allow the efficient generation of code. The abstract programs may be written by humans and then translated, avoiding the need to write the same program repeatedly in different languages or even the same language. This system uses classical logic, is conceptually simple, and permits reasoning about nonterminating programs using Scott-Strachey style denotational semantics.

Affiliated with

Also associated with

No associations

Rating

An Abstract Programming System 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 An Abstract Programming System, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Abstract Programming System will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-23939