Open Access
Programming Environments Based on Structured Editors: The MENTOR Experience,
Véronique Donzeau-Gouge,Gérard Huet,Gilles Kahn,Bernard Lang +3 more
- 01 Jul 1980
TL;DR: This note discusses the MENTOR program manipulation system, from the following points of view: the main design decisions made in MENTor; the authors' experience with building and using a PASCAL programming environment based on MENTSOR; and the authors's vision of a complete programming environment.
read more
Abstract: : This note discusses the MENTOR program manipulation system, from the following points of view: the main design decisions made in MENTOR; the authors' experience with building and using a PASCAL programming environment based on MENTOR; and the authors' vision of a complete programming environment.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
Implementing Mathematics with The Nuprl Proof Development System
Robert L. Constable,Stuart F. Allen,H. M. Bromley,W. R. Cleaveland,James F. Cremer,Robert Harper,Douglas J. Howe,T. B. Knoblock,N. P. Mendler,Prakash Panangaden,J. T. Sasaki,Scott F. Smith +11 more
- 01 Apr 1986
TL;DR: This ebook presents full variant of this ebook in DjVu, PDF, ePub, doc, txt forms, and on the website you may read guides and different art eBooks online, either downloading or downloading.
1.3K
Integrating noninterfering versions of programs
TL;DR: The design of asemantics-based tool for automatically integrating program versions is concerned, which assumes that expressions contain only scalar variables and constants, and that the only statements used in programs are assignment statements, conditional statements, and while-loops.
To block or not to block, that is the question: students' perceptions of blocks-based programming
David Weintrop,Uri Wilensky +1 more
- 21 Jun 2015
TL;DR: Findings from a study looking at how high school students view blocks-based programming tools, what they identify as contributing to the perceived ease-of-use of such tools, and what they see as the most salient differences between blocks- based and text- based programming are used to inform the design of new, and revision of existing, introductory programming tools.
404
Exploiting style in architectural design environments
David Garlan,Robert J. Allen,John Ockerbloom +2 more
- 01 Dec 1994
TL;DR: A system for developing architectural design environments that exploit architectural styles to guide software architects in producing specific systems and a toolkit for creating an open architectural design environment from a description of a specific architectural style is described.
Gandalf: Software development environments
A. N. Habermann,David Notkin +1 more
TL;DR: Gandalf environments integrate programming and system development, permitting interactions not available in traditional environments, and the structure and function of several existing environments are covered.
338
References
Language design methods based on semantic principles
TL;DR: Two language design methods based on principles derived from the denotational approach to programming language semantics are described and illustrated by an application to the language Pascal, including a solution to the array parameter problem and a modularization facility.