- [1] John Backus, "Can programming be liberated from the von Neumann style? A functional style and its algebra of programs," Comm. ACM 21(8), August 1978, 612-641. Google ScholarDigital Library
- [2] R. Ballance, S. Graham, M.L. Van De Vanter, "The PAN language-based editing system for integrated development enviromnents," in ACM SIGSOFT '90: Fourth Symposium on Software Development Environments, R. Taylor (ed.), 1990, 77-93. Google ScholarDigital Library
- [3] Gérard Berry, Georges Gonthier, "The ESTEREL synchronous programming language: design, semantics, implementation," Science of Computer Programming 19, 1992, 87-152. Google ScholarDigital Library
- [4] P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, V. Pascual, "CENTAUR: the system," in ACM SIGSOFT '88: Third Symposium on Software Development Environments, P. Henderson (ed.), 1988, 14-24. Google ScholarDigital Library
- [5] David Cann, "Retire FORTRAN? A debate rekindled," Comm. ACM 35(8), August 1992, 81-89. Google ScholarDigital Library
- [6] B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan, S.W. Watt, Maple V Language Reference Manual, Springer-Verlag, New York, 1991.Google Scholar
- [7] Dominique Clément, Janet Incerpi, "Specifying the behavior of graphical objects using Es-TEREL," INRIA Rapports de Recherche No. 836, April 1988.Google Scholar
- [8] Roger Dannenberg, "The CANON score language," Computer Music J. 13(1), Spring 1989, 47- 56.Google ScholarCross Ref
- [9] R.W. Gray, V.P. Heuring, S.P. Levi, A.M. Sloane, W.M. Waite, "Eli: A complete, flexible compiler construction system," Comm. ACM 35(2), Feb. 1992, 121-131. Google ScholarDigital Library
- [10] J.V. Guttag, J.J. Horning, "Report on the LARCH Shared Language," Science of Computer Programming 6(2), March 1986, 103-157. Google ScholarDigital Library
- [11] P. Hilfinger, P. Colella, "FIDIL: A language for scientific programming," in Symbolic Computation: Applications to Scientific Computing, R. Grossman (ed.), 1989, 97-138.Google Scholar
- [12] E. Jungert, "Graqula--A visual information-flow query language for a geographical information system," J. Visual Prog. 4, 1993, 383-401.Google ScholarDigital Library
- [13] Brian W. Kernighan, Dennis M. Ritchie, The C Programming Language (Second Edition), Prentice-Hall, Englewood Cliffs, New Jersey, 1988. Google ScholarDigital Library
- [14] Mitch Kramer, "Developers find gains outweigh o-o learning curve," Software Magazine 13(7) ("Client/server Computing"), Nov. 1993, 23-33. Google ScholarDigital Library
- [15] David A. Ladd, J. C. Ramming, "Switch software and software research," Intl. Conf. on Communications Technology, Beijiing, 1992.Google Scholar
- [16] Wm Leler, Constraint Programming Languages, Their Specification and Generation, Addison-Wesley, Reading, Mass., 1988. Google ScholarDigital Library
- [17] James Martin, "Fourth-generation Languages, Volumes I, II, and III," Prentice-Hall, Englewood Cliffs, NJ, 1985. Google ScholarDigital Library
- [18] Robin Milner, "Elements of Interaction," 1992 Turing Award Lecture, Comm. ACM 36(1), Jan. 1993, 78-89. Google ScholarDigital Library
- [19] Roger Pressman, Software Engineering, A Practitioner's Approach (3rd Ed.), McGraw-Hill, New York, 1992. Google ScholarDigital Library
- [20] R.V. Rubin, E.J. Golin, S.P. Reiss, "ThinkPad: A graphical system for programming by demonstration," IEEE Software 2(2), 73-79, 1985.Google ScholarDigital Library
- [21] Bill Schottstaedt, "PLA: A composer's idea of a language," Computer Music J. 7(1), Spring 1983, 11-20.Google ScholarCross Ref
- [22] Nan C. Shu, Visual Programming, Van Nostrand Reinhold, 1988. Google ScholarDigital Library
- [23] J.M. Spivey, Understanding Z: A Specification Language and its Formal Semantics, Cambridge Univ. Press, 1988. Google ScholarDigital Library
- [24] Stephen Wolfram, Mathematica (2nd ed.), Addison-Wesley, Reading, Mass., 1991.Google Scholar
- [25] "Use of 'MATHEMATICA' program spreads," The Chronicle of Higher Education, Nov. 20, 1991.Google Scholar
Index Terms
- Report of a workshop on future directions in programming languages and compilers
Recommendations
A generative programming approach to developing DSL compilers
GPCE'05: Proceedings of the 4th international conference on Generative Programming and Component EngineeringDomain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer high-level constructs and notations dedicated to a domain, structuring program design, easing program writing, masking the ...
Definitional Interpreters for Higher-Order Programming Languages
Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by interpreters that are themselves written in a programming language based on the lambda calculus (i.e., an applicative language ...
Comments