Pith. sign in

REVIEW 1 cited by

Declarative program development in Prolog with GUPU

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv cs/0207044 v3 pith:QP4K6ZXY submitted 2002-07-11 cs.SE

Ulrich Neumerkel , Stefan Kral This is my paper · ORCID
classification cs.SE
keywords programgupudevelopmentduringimplementationprogrammingspecificationarea
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Grounded Language Design for Lightweight Diagramming for Formal Methods

    cs.CL 2024-12 conditional novelty 6.0 of 10

    A new lightweight diagramming language for Alloy-like tools, with primitives for cyclic layout, orientation, grouping, and icons, improves users' ability to read and validate model instances.

Pith tools