Generation of Formatters for Context-Free Languages

Mark G. J. van den Brand, Eelco Visser. Generation of Formatters for Context-Free Languages. ACM Transactions on Software Engineering Methodology, 5(1):1-41, 1996. [doi]

References

  • SICS. 1992. SICStus Prolog User's Manual. Swedish Institute of Computer Science, Kista, Sweden.
  • BERGSTRA, J. A. AND KLINT, P. 1995. The discrete time ToolBus. Tech. Rep. P9502, Programming Research Group, Univ. of Amsterdam, Netherlands. Available as ftp://ftp.fwi.uva.nY pub/programming-research/reports/1995/P9502.ps.Z.
  • MORCOS-CHOUNET, E. AND CONCH()N, A. 1986. PPML: A general formalism to specify prettyprinting. In Information Processing 86, H.-J. Kugler, Ed. Elsevier, Amsterdam, 583-590.
  • MINOR, S. 1990. On structure-oriented editing. Ph.D. thesis, Lund Univ., Lund, Sweden.
  • WALTERS, H.R. 1991. On equal terms, implementing algebraic specifications. Ph.D. thesis, Univ. of Amsterdam, Netherlands. Available as ftp://ftp.cwi.nl:/pub/gipe/reportsfWal91.ps.Z.
  • Nancy Stern , Robert A. Stern, Structured COBOL programming (5th ed.), John Wiley & Sons, Inc., New York, NY, 1988
  • P. Borras , D. Clement , Th. Despeyroux , J. Incerpi , G. Kahn , B. Lang , V. Pascual, Centaur: the system, ACM SIGPLAN Notices, v.24 n.2, p.14-24, Feb. 1989 [doi>10.1145/64140.65005]
  • GARLAN, D. 1985. Flexible unparsing in a structure editing environment. Tech. Rep. CMU- CS-85-129, Carnegie-Mellon Univ., Pittsburgh, Pa.
  • ROSE, G. A. AND WELSH, J. 1981. Formatted Programming Languages. Softu,. Pratt. Exp. 11, 651-669.
  • Jasper F.T Kamperman, GEL, a Graph Exchange Language., CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands, 1994
  • VAN DEN BRAND, M. G. J. AN1) VISSER, E. 1994. From Box to TEX: An algebraic approach to the construction of documentation tools. Tech. Rep. P9420, Programming Research Group, Univ. of Amsterdam, Netherlands. Available as ftp://ftp.fwi.uva.nl/pub/ programming-research/reports/1994/P9420.ps.Z.
  • James R. Cordy , Nicholas L. Eliot , Michael G. Robertson, TuringTool: A User Interface to Aid in the Software Maintenance Task, IEEE Transactions on Software Engineering, v.16 n.3, p.294-301, March 1990 [doi>10.1109/32.48937]
  • HILLEBRAND, J.A. 1996. A small language for the specification of grid protocols. Tech. Rep., Programming Research Group, Univ. of Amsterdam, Netherlands. To appear.
  • BERGSTRA, J.A., HEERING, J., AND KLINT, P. 1989. The algebraic specification formalism ASF. In Algebraic Specification, J. A. Bergstra, J. Heering, and P. Klint, Eds. Addison- Wesley, Reading, Mass., 1-66.
  • S. Mauw , G. J. Veltink, A process specification formalism, Fundamenta Informaticae, v.13 n.2, p.85-139, Jun. 1990
  • HECKMANN, R. AND WILHELM, R. 1995. Formula layout. Tech. Rep. A 07/95, FB 14 Informatik, Universitiit des Saarlandes, Saarbrticken, Germany.
  • MAGNUSSON, B., BENGTSSON, M., DAHLIN, L.-O., FRIES, G., GUSTAVSSON, A., HEDIN, G., MINOR, S., OSCARSSON, D., AND TAUBE, U. 1990. An Overview of the Mjolner/ORM Environment: Incremental language and software development. In Proceedings of TOOLS '90. Prentice- Hall, Englewood Cliffs, N.J., 635-646.
  • Jim Welsh , Brad Broom , Derek Kiong, A design rationale for a language-based editor, Software—Practice & Experience, v.21 n.9, p.923-948, Sept. 1991 [doi>10.1002/spe.4380210904]
  • HASCOET, L. 1992. FIGUE An Incremental Graphic Formatter User's Manual for Version 1. INRIA, Sophia-Antipolis, France.
  • J. Heering , P. R. H. Hendriks , P. Klint , J. Rekers, The syntax definition formalism SDF—reference manual—, ACM SIGPLAN Notices, v.24 n.11, p.43-75, Nov. 1989 [doi>10.1145/71605.71607]
  • VAN DEN BRAND, M. G.J. 1992. Pregmatic, a generator for incremental programming environments. Ph.D. thesis, Katholieke Universiteit Nijmegen, Netherlands.
  • Thomas W. Reps , Tim Teitelbaum, The synthesizer generator: a system for constructing language-based editors, Springer-Verlag New York, Inc., New York, NY, 1989
  • BORRAS, P. 1989. PPML-Reference Manual and Compiler Implementation. INRIA, Sophia- Antipolis, France.
  • RES, M. 1994. A generated programming environment for RISLA, a specification language for defining financial products. M.S. thesis, Programming Research Group, Univ. of Amsterdam, Netherlands.
  • VAN DEN BRANt), M. G. J., EIJKELKAMP, S. M., GELUK, D. K. A., MEIJER, H., OSBORNE, H. R., AN{) POLLING, M. J.F. 1995. Program transformations using ASF+ SDF. in ASF-~SDF '95: A Workshop on Generating Tools from Algebraic Specifications, M. G. J. van den Brand, A. van Deursen, T. B. Dinesh, J. F. T. Kamperman, and E. Visser, Eds. Programming Research Group, Univ. of Amsterdam, Netherlands, 29-52. Also Tech. Rep. P9504, Programming Research Gr~)up. Univ. of Amsterdam. Available as http://www.fwi.uva.nl/research/prog/report~.
  • B. W. Kernighan , D. M. Ritchie, The C programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1978
  • Rolf Bahlke , Gregor Snelting, Context-sensitive editing with PSG environments, An international workshop on Advanced programming environments, p.26-38, January 1986, Trondheim, Norway
  • M. O. Jokinen, A language-independent pretty printer, Software—Practice & Experience, v.19 n.9, p.839-856, Sep. 1989 [doi>10.1002/spe.4380190904]
  • Thomas Johnsson, Target code generation from G-machine code, Proc. of a workshop on Graph reduction, p.119-159, September 1987, Santa Fe, New Mexico, United States
  • G. Blaschek , J. Sametinger, User-adaptable prettyprinting, Software—Practice & Experience, v.19 n.7, p.687-702, July 1989 [doi>10.1002/spe.4380190703]
  • WIJN(;AARDEN, A., MAILLOUX, B., PECK, J., KOSTER, C., SINTZOFF, M., LINDSEY, C., MEERTENS, L., ANI) FI.~K~R, R. 1976. Revised Report on the Algorithmic Language Algol 68. Springer- Verlag, Berlin.
  • Rinus Plasmeijer , Marko Van Eekelen, Functional Programming and Parallel Graph Rewriting, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1993
  • Donald E. Knuth, The TEXbook, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
  • KLINT, P. 1995. The ASF~SDF meta-environment--user's guide. CWl, Amsterdam, Netherlands. Available as ftp://ftp.cwi.nl/pub/gipe/reports/SysManual.ps.Z.
  • P. Klint, A meta-environment for generating programming environments, ACM Transactions on Software Engineering and Methodology (TOSEM), v.2 n.2, p.176-201, April 1993 [doi>10.1145/151257.151260]
  • Vos, K.J. 1990. Pretty for an easy touch of beauty. M.S. thesis, Programming Research Group, Univ. of Amsterdam, Netherlands.
  • Jukka Paakki , Jussi Koskinen , Airi Salminen, From relational program dependencies to hypertextual access structures, Nordic Journal of Computing, v.4 n.1, p.3-36, Spring 1997
  • Jasper F.T Kamperman , H. R. Walters, ARM abstract rewriting machine, CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands, 1993
  • KOORN, J. W.C. 1994. Generating uniform user-interfaces for interactive programming environments. Ph.D. thesis, ILLC dissertation series 1994-2, Univ. of Amsterdam, Netherlands.
  • KLINT, P. 1994. Writing meta-level specifications in ASF,-SDF. CWI, Amsterdam, Netherlands.
  • BaUNEKREEF, J.J. 1995a. On modular algebraic protocol specification. Ph.D. thesis, Univ. of Amsterdam, Netherlands.
  • LESK, .M. E. AND SCHMIDT, E. 1986. LEX--A lexical analyzer generator. UNIX Programmer's Supplementary Documents, volume 1 (PS1). Bell Laboratories, Murray Hill, N.J.
  • Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
  • BRUNEKREEF, J.J. 1995b. TransLog, an interactive tool for transformation of logic programs. Tech. Rep. P9512, Programming Research Group, Univ. of Amsterdam, Netherlands. Available as ftp://ftp.fwi.uva.nYpub/programming-research/reports/1995fP9512.ps.Z.

Cited by