THÈSE de DOCTORAT de l'UNIVERSITÉ PARIS 6 Masi /
Masi research reports
229 pages - Novembre/November 1994 - French document.
Titre / Title: Pascal/V : Un environnement pour l'apprentissage de la programmation par découverte guidée. Réification et interprétation contextuelle du rôle des variables
Abstract : This thesis presents the design and the implementation of Pascal/V, a programming environment allowing the articulation between teaching and learning and centered on the role of variables. It includes a pedagogical compiler, a step-by-step tracing visualisation tool, specialized inspectors for types and a contextual help for dynamic diagnosis. Great care has been taken over the conceptual fidelity of these interactive discovery tools. They are the result of an inevitable compromise between didactic needs and the technical possibilities of interfaces.
We consider that the role of a variable is an extension of its type and links data structures with treatments. The implementation makes a clear distinction between type compatibility checking, carried out at compilation time and constraints checking concerning subtypes, carried out at running time. The latter is the basis for the contextual help which gives suggestions to the student in order to guide him in his learning process. These suggestions constitute a part of the representation of the domain in the form of Prolog/V rules and allow the student to understand the role of the running environment in the interpretation of errors.
Pascal/V is written in Smalltalk/V on MacIntosh and its development led us to explore in depth the principles of compilation and interactive debugging in Smalltalk/V in order to build differentially a Pascal compiler ; to test the limits of Smalltalk's MVC user interface of which we offer our criticisms together with new propositions ; and to highlight the significance of class cooperations in object oriented programming, notably for system organization and code understanding.
Publications internes Masi 1994 / Masi research reports 1994