Journal ArticleDOI
The Cornell program synthesizer: a syntax-directed programming environment
Tim Teitelbaum,Thomas Reps +1 more
TLDR
The Cornell Program Synthesizer demands a structural perspective at all stages of program development and its separate features are unified by a common foundation: a grammar for the programming language.Abstract:
Programs are not text; they are hierarchical compositions of computational structures and should be edited, executed, and debugged in an environment that consistently acknowledges and reinforces this viewpoint. The Cornell Program Synthesizer demands a structural perspective at all stages of program development. Its separate features are unified by a common foundation: a grammar for the programming language. Its full-screen derivation-tree editor and syntax-directed diagnostic interpreter combine to make the Synthesizer a powerful and responsive interactive programming tool.read more
Citations
More filters
ReportDOI
Incremental Static Semantic Analysis
TL;DR: This dissertation addresses an important subproblem in the construction of such environments, the generation of static semantic analyzers that operate in an incremental mode and develops a static analysis and transformation on attribute grammars that accommodates a useful class of circular attribute dependencies, automating the "backpatching" method used in hand-coded compilers.
Journal ArticleDOI
Graphically defining new building blocks in ThingLab
TL;DR: Cognitive models of learning to program recursion and their relation to lessons on recursion in an intelligent computer tutor for LISP programming (the LISp Tutor) and Experimental evaluations indicate that it is more efficient and effective than classroom instruction.
Patent
Image processing methods and apparatus for separable, general affine transformation of an image
TL;DR: A separable, general affine transformation according to the invention permits an image to be concurrently rotated, scaled, translated, skewed, sheared, or otherwise transformed via a sequence of one-dimensional transformations.
Journal ArticleDOI
Investigating the use of software requirements engineering techniques in simulation modelling
James D. Arthur,Richard E. Nance +1 more
TL;DR: To what extent the modelling and simulation (M&S) community employs software requirements engineering (SRE) in the model development process is considered and the inclusion of several SRE activities within an M&S life-cycle model is suggested.
Journal ArticleDOI
Coherent user interfaces for language-based editing systems
TL;DR: Pan is a language-based editing and browsing system designed to support development and maintenance of complex software documents and uses a variety of mechanisms to help users understand and manipulate complex documents effectively, in terms of underlying language when necessary, but always in the framework of a coherent, user-oriented interface.
References
More filters
Proceedings ArticleDOI
Closest-point problems
Michael Ian Shamos,Dan Hoey +1 more
TL;DR: The purpose of this paper is to introduce a single geometric structure, called the Voronoi diagram, which can be constructed rapidly and contains all of the relevant proximity information in only linear space, and is used to obtain O(N log N) algorithms for most of the problems considered.
Journal ArticleDOI
Algorithms for Reporting and Counting Geometric Intersections
TL;DR: Algorithms that count the number of pairwise intersections among a set of N objects in the plane and algorithms that report all such intersections are given.
Proceedings ArticleDOI
A research center for augmenting human intellect
TL;DR: In this article, a multisponsor research center at Stanford Research Institute in man-computer interaction is described, where the authors describe a multiscale multi-modal system.
Proceedings ArticleDOI
Geometric intersection problems
Michael Ian Shamos,Dan Hoey +1 more
TL;DR: An O(N log N) algorithm is given to determine whether any two intersect and use it to detect whether two simple plane polygons intersect and to show that the Simplex method is not optimal.
Journal ArticleDOI
An Optimal Worst Case Algorithm for Reporting Intersections of Rectangles
TL;DR: This paper investigates the problem of reporting all intersecting pairs in a set of n rectilinearly oriented rectangles in the plane and describes an algorithm that solves this problem in worst case time proportional to n lg n + k, where k is the number of interesecting pairs found.