The design and implementation of a table driven, interactive diagnostic programming system
Communications of the ACM
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Incremental evaluation for attribute grammars with application to syntax-directed editors
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Fortran language anticipation and prompting system
ACM '73 Proceedings of the ACM annual conference
ACM SIGPLAN Notices - Special issue: History of programming languages conference
A Formal Syntax for PL/CS
The Cornell Program Synthesizer: A Microcomputer Implementation of PL/CS
The Cornell Program Synthesizer: A Microcomputer Implementation of PL/CS
The CORE User Interface
Reversible execution as a diagnostic tool
Reversible execution as a diagnostic tool
Creation of hierarchic text with a computer display
Creation of hierarchic text with a computer display
ACM Transactions on Programming Languages and Systems (TOPLAS)
IBM Journal of Research and Development
Embedded menus: selecting items in context
Communications of the ACM
A structural view of the Cedar programming environment
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental attribute evaluation in distributed language-based environments
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Generation of run-time environments
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
ACM SIGPLAN Notices
A program development system for the casual programmer
SIGCPR '85 Proceedings of the twenty-first annual conference on Computer personnel research
Integral-C—a practical environment for C programming
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
On the structure of structure-oriented editors for different applications
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Characteristics and functions of software environments: an overview
ACM SIGSOFT Software Engineering Notes
Selective interpretation as a technique for debugging computationally intensive programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Graph translation schemes to generate compiler parts
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cognition-sensitive design and user modeling for syntax-directed editors
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
MathScribe: a user interface for computer algebra systems
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Object-oriented database support for software environments
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
ACM SIGPLAN Notices
Extending IDL to support concurrent views
ACM SIGPLAN Notices
An architecture for intelligent assistance in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Interform: a CAD system for program development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
An approach to integrating expert system components into production software
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Incremental execution environment
ACM SIGPLAN Notices
A System for Generating Language-Oriented Editors
IEEE Transactions on Software Engineering
An Integrated Life-Cycle Model for Software Maintenance
IEEE Transactions on Software Engineering
An Semantic Feedback in the Higgens UIMS
IEEE Transactions on Software Engineering
Grammatical abstraction and incremental syntax analysis in a language-based editor
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
The kernel of Modula-2 integrated environment
ACM SIGSOFT Software Engineering Notes
MUIR - a language development environment
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
Incremental dynamic semantics for language-based programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Graph attribution as a specification paradigm
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Transformational derivation of programs using the focus system
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Extended programming in the large in a software development environment
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A system for example-based programming
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Demonic memory for process histories
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Automatically generating visual syntax-directed editors
Communications of the ACM
Production trees: a compact representation of parsed programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
TuringTool: A User Interface to Aid in the Software Maintenance Task
IEEE Transactions on Software Engineering
Efficient evaluation of circular attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
AD/Cycle strategy and architecture
IBM Systems Journal
Low-cost, adaptable tool integration policies for integrated environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A distributed architecture for programming environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
The Pan language-based editing system for integrated development
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Dynamically displaying a Pascal program in color
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Experience using the Graphite meta-tool
ICSE '90 Proceedings of the 12th international conference on Software engineering
Prism = methodology + process-oriented environment
ICSE '90 Proceedings of the 12th international conference on Software engineering
The Pan language-based editing system
ACM Transactions on Software Engineering and Methodology (TOSEM)
Prism-Methodology and Process-Oriented Environment
IEEE Transactions on Software Engineering
Building integrated software development environments. Part I: tool specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
Generation of Interactive Parsers with Error Handling
IEEE Transactions on Software Engineering
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Computer-aided vs. manual program restructuring
ACM SIGSOFT Software Engineering Notes
Syntax-directed editing environments: issues and features
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using attribute grammars to find solutions for musical equational programs
ACM SIGPLAN Notices
History cache: hardware support for reverse execution
ACM SIGARCH Computer Architecture News
Efficient incremental LR parsing for syntax-directed editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mathematical typesetting in Mathematica
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Multiple views based on unparsing canonical representations—the MultiView architecture
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Lessons on converting batch systems to support interaction: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
A high level language for specifying graph based languages and their programming environments
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
A dynamically self-adjusting structured editor
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
III—an integrated interactive incremental programming environment based on compilation
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
A meta-language and system for nonlocal incremental attribute evaluation in language-based editors
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A greedy concurrent approach to incremental code generation
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Operations for programming in the all
ICSE '85 Proceedings of the 8th international conference on Software engineering
Continuous execution: the VisiProg environment
ICSE '85 Proceedings of the 8th international conference on Software engineering
An interactive debugger for a concurrent language
ICSE '85 Proceedings of the 8th international conference on Software engineering
A multi-language syntax-directed editor
CSC '87 Proceedings of the 15th annual conference on Computer Science
ACM Transactions on Software Engineering and Methodology (TOSEM)
On designing a language for exclusive use in a syntax directed programming environment
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Generating environments for programming-in-the-large
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A tool for Ada program manipulations: mentor-Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Technological advances in software engineering
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Software engineering tools and environments: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Programming by voice, VocalProgramming
Assets '00 Proceedings of the fourth international ACM conference on Assistive technologies
Interactive Editing Systems: Part II
ACM Computing Surveys (CSUR)
Incremental Context-Dependent Analysis for Language-Based Editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
User Recovery and Reversal in Interactive Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Error messages: the neglected area of the man/machine interface
Communications of the ACM
Program developments: formal explanations of implementations
Communications of the ACM
Communications of the ACM
Authoring systems in computer based education
Communications of the ACM
ACM president's letter: smart editors
Communications of the ACM
On converting a compiler into an incremental compiler
ACM SIGPLAN Notices
TRIAD: beyond isolated systems for development-in-the-large and programming-in-the-small
ACM SIGSOFT Software Engineering Notes
Incremental compilation in Magpie
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Incremental data flow analysis in a structured program editor
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Hierarchical VLSI design systems based on attribute grammars
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Transformational programming: applications to algorithms and systems
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Optimal-time incremental semantic analysis for syntax-directed editors
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Non-syntactic attribute flow in language based editors
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
An Execution-Backtracking Approach to Debugging
IEEE Software
Fragtypes: A Basis for Programming Environments
IEEE Transactions on Software Engineering
Guest Editor's Introduction: Software Engineering Environment Architectures
IEEE Transactions on Software Engineering
The Cactis Project: Database Support for Software Environments
IEEE Transactions on Software Engineering
Providing Customized Assistance for Software Lifecycle Approaches
IEEE Transactions on Software Engineering
PROVIDE: A Process Visualization and Debugging Environment
IEEE Transactions on Software Engineering
Incremental LL(1) Parsing in Language-Based Editors
IEEE Transactions on Software Engineering
An overview of a dynamic programming environment based on extensibility
Nordic Journal of Computing
An Authoring Tool for Informal and Formal Requirements Specifications
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
The Mjølner Environment: Direct Interaction with Abstractions
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
End-user software visualizations for fault localization
Proceedings of the 2003 ACM symposium on Software visualization
Personal computer networks and graphical animation: Rationale and practice for education
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Does the computer system make a difference in the effectiveness of the introductory service course?
SIGCSE '82 Proceedings of the thirteenth SIGCSE technical symposium on Computer science education
Some requirements for architectural support of software debugging
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Maiday: An environment for guided programming with a definitional language
ICSE '84 Proceedings of the 7th international conference on Software engineering
Practical applications of a syntax directed program manipulation environment
ICSE '84 Proceedings of the 7th international conference on Software engineering
LELISP, a portable and efficient LISP system
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Steps toward better debugging tools for LISP
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
The why and wherefore of the Cornell Program Synthesizer
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
The PSG - Programming System Generator
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Structured Editor Support for Modularity and Data Abstraction
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
An algebra for program fragments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Efficient abstractions for the implementation of structured editors
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
An environment for logic programming
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Integration mechanisms in Cedar
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Visual abstraction in an interactive programming environment
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Toolpack - an experimental software development environment research project
ICSE '82 Proceedings of the 6th international conference on Software engineering
An editor for documentation in &pgr;-system to support software development and maintenance
ICSE '82 Proceedings of the 6th international conference on Software engineering
DUAL: An interactive tool for developing documented programs by step-wise refinements.
ICSE '82 Proceedings of the 6th international conference on Software engineering
Interactive program execution in Lispedit
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
A systematic approach to advanced debugging through incremental compilation (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
A small contribution to editing with a syntax directed editor
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Techniques for improving language-based editors
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The Poe language-based editor project
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Viewing a programming environment as a single tool
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
GNOME: An introductory programming environment based on a family of structure editors
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The SAGA project: A system for software development
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ISDE: An Interactive Software Development Environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Preliminary experience from the dice system a distributed incremantal compiling environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Document structure and modularity in mentor
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Hierarchical Program Diagram Editor Based on Attributed Graph Grammar
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
The software concordance: a new software document management environment
Proceedings of the 21st annual international conference on Documentation
ACM SIGPLAN Notices
A system for writing Pascal programs interactively
ACM SIGPLAN Notices
The IBM-McGill project on software process
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Evolutions in typesetting systems
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Journal of Functional Programming
Text-oriented structure commands for structure editors
ACM SIGPLAN Notices
PROGEN: a programming environment
ACM SIGPLAN Notices
The token-oriented approach to program editing
ACM SIGPLAN Notices
Program editors should not abandon text oriented commands
ACM SIGPLAN Notices
A taxonomy of tool features for the Ada programming support environment (APSE)
ACM SIGAda Ada Letters
Structural Correspondence Specification Environment
COLING '86 Proceedings of the 11th coference on Computational linguistics
The user-definable interface project
ACM SIGSOFT Software Engineering Notes
Syntax-directed editing revisited
ACM SIGSOFT Software Engineering Notes
Towards more intelligent programming environments
ACM SIGSOFT Software Engineering Notes
Natural programming languages and environments
Communications of the ACM - End-user development: tools that empower users to create their own software solutions
An Integrated Software Development Environment with XML Internal Representation
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Design requirements for more flexible structured editors from a study of programmers' text editing
CHI '05 Extended Abstracts on Human Factors in Computing Systems
ACM Computing Surveys (CSUR)
Citrus: a language and toolkit for simplifying the creation of structured editors for code and data
Proceedings of the 18th annual ACM symposium on User interface software and technology
High level microprogramming: current usage, future prospects
ACM SIGMICRO Newsletter
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Invited research overview: end-user programming
CHI '06 Extended Abstracts on Human Factors in Computing Systems
Methods and tools for exploring novice compilation behaviour
Proceedings of the second international workshop on Computing education research
Hierarchical verification environment
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Translating keyword commands into executable code
UIST '06 Proceedings of the 19th annual ACM symposium on User interface software and technology
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
Journal of Automated Reasoning
Living it up with a live programming language
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
An experimental study of the impact of visual semantic feedback on novice programming
Journal of Visual Languages and Computing
A pattern language for extensible program representation
Proceedings of the 2006 conference on Pattern languages of programs
Interactive Multilingual Web Applications with Grammatical Framework
GoTAL '08 Proceedings of the 6th international conference on Advances in Natural Language Processing
Graphically defining new building blocks in ThingLab
Human-Computer Interaction
Universities and the future of high-performance computing technology
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Strategic IT planning as change specification
Proceedings of the 2nd international conference on Theory and practice of electronic governance
Software Language Engineering
Overview of a display-oriented editor for INTERLISP
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
IBM Journal of Research and Development
Managing multi-version programs with an editor
IBM Journal of Research and Development
Language subsetting via reflection and overloading
FIE'09 Proceedings of the 39th IEEE international conference on Frontiers in education conference
Generation of visual language-oriented design environments
Journal of Visual Languages and Computing
Interactive, visual fault localization support for end-user programmers
Journal of Visual Languages and Computing
What would other programmers do: suggesting solutions to error messages
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A formalism for navigating and editing XML document structure
DNIS'07 Proceedings of the 5th international conference on Databases in networked information systems
Multilingual syntax editing in GF
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
Xeena for schema: creating XML documents with a coordinated grammar tree
International Journal of Computational Science and Engineering
On compiler error messages: what they say and what they mean
Advances in Human-Computer Interaction
Incremental updates for view-based textual modelling
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
A tutorial on feature oriented programming and the AHEAD tool suite
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
A pattern language for extensible program representation
Transactions on Pattern Languages of Programming I
Codelets: linking interactive documentation and example code in the editor
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Design and implementation of an adaptable software environment
Computer Languages
Symbolic debugging through incremental compilation in an integrated environment
Journal of Systems and Software
Journal of Systems and Software
The evolution of the GANDALF system
Journal of Systems and Software
Incremental parsing without a parser
Journal of Systems and Software
Automatic generation of execution tools in a GANDALF environment
Journal of Systems and Software
Flow: A software development environment using diagrams
Journal of Systems and Software
Escaping the maze of twisty classes
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
An Empirical Investigation into Programming Language Syntax
ACM Transactions on Computing Education (TOCE)
| Hi-index | 48.33 |
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.