Declarative program development in Prolog with GUPU

Details Declarative program development in Prolog with GUPU Declarative program development in Prolog with GUPU

2002-07-11

arxiv.org/abs/cs/0207044v3

Computer Science

Software Engineering

10 pages; Alexandre Tessier, editor; WLPE 2002, http://xxx.lanl.gov/html/cs/0207052

Scientific paper

We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, covering specification, implementation, and program debugging. GUPU features several innovations in this area. The specification phase is supported by reference implementations augmented with diagnostic facilities. During implementation, immediate feedback from test cases and from visualization tools helps the programmer's program understanding. A set of slicing techniques narrows down programming errors. The whole process is guided by a marking system.

Affiliated with

Also associated with

No associations

Rating

Declarative program development in Prolog with GUPU 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 Declarative program development in Prolog with GUPU, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Declarative program development in Prolog with GUPU will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-185227