More Web Proxy on the site http://driver.im/

Article

Free access

The Pan language-based editing system for integrated development

Authors:

Robert A. Ballance,

Susan L. Graham,

Michael L. Van De VanterAuthors Info & Claims

SDE 4: Proceedings of the fourth ACM SIGSOFT symposium on Software development environments

Pages 77 - 93

https://doi.org/10.1145/99277.99286

Published: 01 October 1990 Publication History

Abstract

Powerful editing systems for developing complex software documents are difficult to engineer. Besides requiring efficient incremental algorithms and complex data structures, such editors must integrate smoothly with the other tools in the environment, maintain a sharable database of information concerning the documents being edited, accommodate flexible editing styles, provide a consistent, coherent, and empowering user interface, and support individual variations and project-wide configurations. Pan is a language-based editing and browsing system that exhibits these characteristics. This paper surveys the design and engineering of Pan, paying particular attention to a number of issues that pervade the system: incremental checking and analysis, information retention in the presence of change, tolerance for errors and anomalies, and extension facilities.

References

[1]

ACM. Proc. of the ACM SIGPLAN SIGOA Symposium on Text Manipulation (Portland, Oregon, June 8-10, 1981). Appeared as Sigplan Notices, 16(6), June 1981.

[2]

AMBRAS, J., AND O'DAY, V. Microscope: A knowledge-based programming environment. IEEE Software 5, 3 (May 1988), 50-58.

Digital Library

[3]

BAECKER, R. M., AND MARCUS, A. Human Factors and Typography for More Readable Programs. ACM Press, New York, New York, 1990.

[4]

BAHLKE, R., AND SNELTING, G. The PSG system: From formal language definitions to interactive programming environments. ACM Trans. on Programming Languages and Systems 8, 4 (1986), 547-576.

Digital Library

[5]

BALLANCE, R. A. Syntactic and Semantic Checking in Language-Based Editing Systems. Ph.D. dissertation, Computer Science Division-EECS, University of California, Berkeley, California, 94720, Dec. 1989. Available as Technical Report No. UCB/CSD 89/548.

Digital Library

[6]

BALLANCE, R. A., BUTCHER, J., AND GRAHAM, S. L, Grammatical abstraction and incremental syntax analysis in a language-based editor. In Proc. of the SIG- PLAN '88 Conference on Programming Language Design and Implementation (Atlanta, Georgia, June 22- 24, 1988), ACM, pp. 185-198. Appeared as Sigplan Notices, 23(7), July 1988.

Digital Library

[7]

BALLANCE, R. A., AND GRAHAM, S. L. Consistency maintenance for contextual constraints. In preparation., July 1990.

[8]

BALLANCE, R. A., AND VAN DE VANTER, M. L. Pan I: An introduction for users. Technical Report No. UCB/CSD 88/410, Computer Science Division- EECS, University of California, Berkeley, California, 94720, Mar. 1988.

Digital Library

[9]

BALLANCE, R. A., VAN DE VANTER, M. L., AND GRA- HAM, S. L. The architecture of Pan I. Technical Report No. UCB/CSD 88/409, Computer Science Division- EECS, University of California, Berkeley, California, 94720, Mar. 1988.

Digital Library

[10]

BLACK, C. L. PPP: The Pan program presenter. Technical Report No. UCB/CSD 90/589, Computer Science Division-EECS, University of California, Berkeley, California, 94720, Sept. 1990.

Digital Library

[11]

BORRAS, P., CLEMENT, D., DESPEYROUX, T., IN- CERPI, J., KAHN, G., LANG, B., AND PASCUAL, V. CENTAUR: the system. In Henderson {25}, pp. 14-24.

[12]

BUDINSKY, F. J., HOLT, R. C., AND ZAKY, S. G. SRE-a syntax-recognizing editor. Software--Practice & Experience 15, 5 (May 1985), 489-497.

[13]

BUTCHER, J. Ladle. Master's thesis, Computer Science Division-EECS, University of California, Berkeley, California, 94720, Nov. 1989. Available as Technical Report No. UCB/CSD 89/519.

Digital Library

[14]

CHEN, P., COKER, J., HARRISON, M. A., MCCAR- RELL, J., AND PROCTER, S. The w Document Preparation Environment. In Proc. of the End European Conference on TEX for Scientific Documentation (Strasbourg, France, June 19-21 1986), J. Desarmenien, Ed., no. 236 in LNCS, Springer-Verlag, pp. 45-54.

Digital Library

[15]

CHEN, P., AND HARRISON, M. A. Multiple representation document development. IEEE Computer 21, 1 (Jan. 1988), 15-31.

Digital Library

[16]

COHEN, J. Constraint logic programming languages. Communications of the ACM 33, 7 (July 1990) 52-68.

Digital Library

[17]

CONRADI, R., DIDRIKSEN, T. M., AND WANVIK, D., Eds. Advanced Programming Environment8 (Berlin, Heidelberg, New York, 1986), no. 244 in Lecture Notes in Computer Science, Springer-Verlag.

Digital Library

[18]

CORBETT, R. P. Static Semantics and Compiler Error Recovery. Ph.D. dissertation, Computer Science Division-EECS, University of California, Berkeley, California, 94720, June 1985. Available as Technical Report No. UCB/CSD 85/251.

Digital Library

[19]

DERANSART, P., JOURDAN, M., AND LORHO, B. Attribute Grammars: Definitions, Systems, and Bibliography. No. 323 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, Heidelberg, New York, 1988.

Digital Library

[20]

DONZEAU-GOUGE, V., HUET, G., KAHN, G., AND LANG, B. Programming environments bssedl on structure editors: The Mentor experience. Ra.pports de Recherche 26, INRIA, June 1980.

[21]

DOYLE, J. A truth maintenance system. In Beading8 in Artificial Intelligence, B. L. Webber and N. II. Nilsson, Eds. Tioga, Palo Alto, California, 1981, pp. 496-516.

[22]

FORSTALL, B. T. Experience with language description mechanisms in Pan. PIPER Working Paper 90-3, Computer Science Division-EECS, University of California, Berkeley, California, 94720, 1990.

[23]

GOLDBERG, A. Programmer 8s reader. IEEE Software 4, 5 (Sept. 1987), 62-70.

Digital Library

[24]

HABERMANN, A. N., AND NOTKIN, D. Gandalf: Software development environments. IEEE Trans. on Software Engineering SE-IL, 12 (Dec. 1986), 1117-1127.

Digital Library

[25]

HENDERSON, P., Ed. ACM SIGSOFT '88: Third Symposium on Software Development Environments (1988).

[26]

HILFINGER, P. N., AND COLELLA, P. Fidil: A language for scientific programming. In Symbolic Computation: Applications to Scientific Computing, R. Grossman, Ed. SIAM, 1989, pp. 97-138.

[27]

HOLT, R. W., BOEHM-DAVIS, D. A., AND SCHULTZ, A. C. Mental representations of programs for student and professional programmers. In Empirical Studies of Programmers: Second Workshop, G. M. Olson, S. Sheppard, and E. Soloway, Eds. Ablex Publishing, Norwood, NJ, 1987, p. 33.

Digital Library

[28]

HORTON, M. R. Design of a multi-language editor with static error detection capabilities. Ph.D. dissertation, Computer Science Division-EECS, University of California, Berkeley, California, 94720, 1981.

Digital Library

[29]

HORWITZ, S., AND TEITELBAUM, T. Generating editing environments based on relations and attributes. ACM Trans. on Programming Languages and Systems 8, 4 (Oct. 1986), 577-608.

Digital Library

[30]

JALILI, F., AND GALLIER, J. H. Building friendly parsers. In Proceedings of the 9th Annual ACM Symposium on Principle8 of Programming Language8 (Albuquerque, New Mexico, January 25-27, 1982), ACM, pp. 196-206.

Digital Library

[31]

KAHN, G. Natural semantics. Tech. Rep. 601, INRIA, Feb. 1987.

[32]

KAHN, G., LANG, B., MEL$sE, B., AND MORCOS, E. Metal: A formalism to specify formalisms. Science of Computer Programming 3 (1983), 151-188.

[33]

KAISER, G. E. Semantics for Structure Editing Enuironments. Ph.D. dissertation, Carnegie Mellon University, Pittsburgh, Pennsylvania, 15213, May 1985.

Digital Library

[34]

KIRSLIS, P. A. C. The SAGA Editor: A Language- Oriented Editor Based on Incremental LR(1) Parser. Ph.D. dissertation, University of Illinois at Urbana Champaign, Dec. 1985.

Digital Library

[35]

LAMPSON, B. W. Bravo Users Manual. Palo Alto, 1978.

[36]

LANG, B. On the usefulness of syntax directed editors. In Conradi et al. {17}, pp. 47-51.

Digital Library

[37]

LETOVSKY, S. Cognitive processes in program comprehension. In Empirical Studies of Programmers, E. Soloway and S. Iyengar, Eds. Ablex Publishing, Norwood, NJ, 1986, pp. 58-79.

Digital Library

[38]

LETOVSKY, S., AND SOLOWAY, E. Delocalized plans and program comprehension. IEEE Software 3, 3 (May 1986), 41-49.

Digital Library

[39]

LEWIS, C., AND NORMAN, D. A. Designing for error. In User Centered System Design: New Perspectives on Human-Computer Interaction, D. A. Norman and S. W. Draper, Eds. Lawrence Erlbaum Associates, Hillsdale, NJ, 1986, pp. 411-432.

[40]

MASINTER, L. M. Global program analysis in an interactive environment. Tech. Rep. SSL-SO-l, Xerox Palo Alto Research Center, Palo Alto, 1980.

[41]

MEDINA-MORA, R., AND FEILER, P. H. An incremental programming environment. IEEE Trans. on Software Engineering SE-T, 5 (1981), 472-481.

Digital Library

[42]

NEAL, L. R. Cognition-sensitive design and user modelling for syntax-directed editors. In CHI+GI (1987), pp. 99-102.

Digital Library

[43]

NORD, R. L., AND PFENNING, F. The Ergo attribute system, In Henderson {25}, pp. 110-120.

[44]

OMAN, P ., AND COOK, C. R. Typographic style is more than cosmetic. Communications of the ACM 33, 5 (May 1990), 506-520.

Digital Library

[45]

REPS, T., TEITELBAUM, T., AND DEMERS, A. Incremental context dependent analysis for language based editors. ACM Trans. on Programming Languages and Systems 5, 3 (July 1983), 449-477.

Digital Library

[46]

RICH, C., AND WATERS, R. C. The Programmers Ap Prentice: A research overview. IEEE Computer 21, 11 (Nov. 1988), 10-25,

Digital Library

[47]

SMITH, B., AND KELLEHER, G., Eds. Reason Maintenance Systems and Their Applications. Series in Artificial Intelligence. Ellis Norwood Limited, Chichester, 1988.

Digital Library

[48]

SOLOWAY, E., AND EHRLICH, K. Empirical studies of programming knowledge. IEEE Transactions on Software Engineering SE-f 0, 5 (Sept. 1984), 595-609.

[49]

STALLMAN, R. M. EMACS: The extensible, customizable, self-documenting display editor. In Proc. of the ACM SIGPLAN SIGOA Symposium on Text Manipulation {1}, pp. 147-156. Appeared as Sigplan Notices, 16(6), June 1981.

Digital Library

[50]

STEELE JR., G. L., AND SUSSMAN, G. J. Constraints. AI Memo No. 502, Massachusetts Institute of Technology Artificial Intelligence Laboratory, Cambridge, Massachusetts, Nov. 1978.

[51]

STERLING, L., AND SHAPIRO, E. The Art of Prolog: Advanced Proqromming Techniques. The MIT Press, Cambridge, Massachusetts and London, England, 1986.

Digital Library

[52]

STRBMFORS, O. Editing large programs using a structure-oriented text editor. In Conradi et al. {17}, pp. 39-46.

Digital Library

[53]

TEITELBAUM, T., AND REPS, T. The Cornell Program Synthesizer: A syntax-directed programming environment. Communications of the ACM 24,9 (Sept. 1981), 563-573.

Digital Library

[54]

TEITELBAUM, T., REPS, T., AND HORWTZ, S. The why and wherefore of the Cornell program synthesizer. SIGPLAN Notices 16, 6 (June 1981).

Digital Library

[55]

TEITELMAN, W. A tour through Cedar. IEEE Trans. on Software Engineering SE-11, 3 (Mar. 1985).

Digital Library

[56]

VAN DE VANTER, M. L. User-centered program viewing. Research Proposal, Computer Science Division- EECS, University of California, Berkeley, California, 94720, Nov. 1987.

[57]

VAN DE VANTER, M. L. Error management and debugging in Pan I. Technical Report No. UCB/CSD 89/554, Computer Science Division-EECS, University of California, Berkeley, California, 94720, Dec. 1989.

Digital Library

[58]

VAN DE VANTER, M. L., BALLANCE, R. A., AND GRA- HAM, S. L. Coherent user interfaces for language-based editing systems. Technical Report No. UCB/CSD 90/591, Computer Science Division-EECS, University of California, Berkeley, California, 94720, July 1990.

Digital Library

[59]

WATERS, R. C. Program editors should not abandon text oriented commands. SIGPLAN Notices 17, 7 (1982), 39-46.

Digital Library

[60]

WINOGRAD, T. Beyond programming languages. Communications of the ACM 22, 7 (July 1979), 391- 401.

Digital Library

[61]

WOOD, S. R. Z-the 95% program editor. In Proc. of the ACM SIGPLAN SIGOA Symposium on Text Manipulation {l}, pp. 1-7. Appeared as Sigplan Notices, 16(6), June 1981.

Digital Library

Cited By

Flederer FOstermayer LSeipel DMontenegro S(2017)Source Code Verification for Embedded Systems using PrologElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.234.7234(88-103)Online publication date: 1-Jan-2017
https://doi.org/10.4204/EPTCS.234.7
Sifer MPeres YMaarek Y(2003)Browsing and Editing XML Schema Documents with an Interactive EditorDatabases in Networked Information Systems10.1007/978-3-540-39845-5_9(97-111)Online publication date: 2003
https://doi.org/10.1007/978-3-540-39845-5_9
Sifer MPeres YMaarek Y(2002)Xeena for Schema: Creating XML Data with an Interactive EditorDatabases in Networked Information Systems10.1007/3-540-36233-9_10(133-146)Online publication date: 16-Dec-2002
https://doi.org/10.1007/3-540-36233-9_10
Show More Cited By

Index Terms

The Pan language-based editing system for integrated development
1. Software and its engineering
  1. Software creation and management
    1. Software post-development issues
      1. Documentation
  2. Software notations and tools
    1. Development frameworks and environments
      1. Integrated and visual development environments
    2. General programming languages
      1. Language types

Recommendations

The Pan language-based editing system

Powerful editing systems for developing complex software documents are difficult to engineer. Besides requiring efficient incremental algorithms and complex data structures, such editors must accommodate flexible editing styles, provide a consistent, ...
The Pan language-based editing system for integrated development

Powerful editing systems for developing complex software documents are difficult to engineer. Besides requiring efficient incremental algorithms and complex data structures, such editors must integrate smoothly with the other tools in the environment, ...
The Pan Language-Based Editing System For Integrated Development

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SDE 4: Proceedings of the fourth ACM SIGSOFT symposium on Software development environments

October 1990

248 pages

ISBN:089791418X

DOI:10.1145/99277

Editor:
Richard N. Taylor

ACM SIGSOFT Software Engineering Notes Volume 15, Issue 6
Dec. 1990
248 pages
ISSN:0163-5948
DOI:10.1145/99278
Editor:
Richard N. Taylor
Issue’s Table of Contents

Copyright © 1990 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1990

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGSOFT90

Sponsor:

SIGSOFT

SIGSOFT90: 4th Symposium on Software Development Environments

December 3 - 5, 1990

California, Irvine, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

24
Total Citations
View Citations
490
Total Downloads

Downloads (Last 12 months)65
Downloads (Last 6 weeks)13

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Flederer FOstermayer LSeipel DMontenegro S(2017)Source Code Verification for Embedded Systems using PrologElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.234.7234(88-103)Online publication date: 1-Jan-2017
https://doi.org/10.4204/EPTCS.234.7
Sifer MPeres YMaarek Y(2003)Browsing and Editing XML Schema Documents with an Interactive EditorDatabases in Networked Information Systems10.1007/978-3-540-39845-5_9(97-111)Online publication date: 2003
https://doi.org/10.1007/978-3-540-39845-5_9
Sifer MPeres YMaarek Y(2002)Xeena for Schema: Creating XML Data with an Interactive EditorDatabases in Networked Information Systems10.1007/3-540-36233-9_10(133-146)Online publication date: 16-Dec-2002
https://doi.org/10.1007/3-540-36233-9_10
Ossher HHarrison WTarr PFinkelstein A(2000)Software engineering tools and environmentsProceedings of the Conference on The Future of Software Engineering10.1145/336512.336569(261-277)Online publication date: 1-May-2000
https://dl.acm.org/doi/10.1145/336512.336569
Crew R(1997)ASTLOGProceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 199710.5555/1267950.1267968(18-18)Online publication date: 15-Oct-1997
https://dl.acm.org/doi/10.5555/1267950.1267968
Taylor RTracz WCoglianese L(1995)Software development using domain-specific software architecturesACM SIGSOFT Software Engineering Notes10.1145/217030.21703420:5(27-38)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1145/217030.217034
Kamin SGolin E(1995)Report of a workshop on future directions in programming languages and compilersACM SIGPLAN Notices10.1145/208639.20864030:7(9-28)Online publication date: 1-Jul-1995
https://dl.acm.org/doi/10.1145/208639.208640
Devanbu P(1995)On 'A Framework for Source Code Search Using Program Patterns'IEEE Transactions on Software Engineering10.1109/32.48907621:12(1009-1010)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1109/32.489076
Devanbu PRosenblum DWolf AFadini BOsterweil Lvan Lamsweerde A(1994)Automated construction of testing and analysis toolsProceedings of the 16th international conference on Software engineering10.5555/257734.257774(241-250)Online publication date: 21-May-1994
https://dl.acm.org/doi/10.5555/257734.257774
Devanbu PRosenblum DWolf A(1994)Automated construction of testing and analysis toolsProceedings of 16th International Conference on Software Engineering10.1109/ICSE.1994.296783(241-250)Online publication date: 1994
https://doi.org/10.1109/ICSE.1994.296783
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents