This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Realizable Benefits of a Language Prototyping Language
June 1988 (vol. 14 no. 6)
pp. 803-809

The uses and advantages of a language tailored specifically for the description and construction of translators are considered. The major features of the Kodiyak language prototyping language are described. The Kodiyak language was designed to be a comprehensive translator development system. The language is intended to support a simple, unambiguous conceptual model of translation, to allow the construction of nontrivial translators, and, to be easy to use

[1] J. Arthur and J. Ramanathan, "Design of analyzers for selective program analysis,"IEEE Trans. Software Eng., vol. SE-7, no. 1, pp. 39-51, Jan. 1981.
[2] V. Berzins and M. Gray, "Analysis and design in MSG.84: Formalizing functional specifications,"IEEE Trans. Software Eng., vol. SE- 11, no. 8, pp. 657-670, Aug. 1985.
[3] V. A. Berzins and T. Keefe, "DB user manual," Dep. Comput. Sci., Univ. Minnesota, Tech. Report 85-6, Mar. 1985.
[4] T. A. Dreisbach, "A declarative semantic definition of PL360," Dep. Comput. Sci., Univ. California, Los Angeles, Rep. UCLA-7289, 1972.
[5] I. Fang, "FOLDS, a declarative formal language definition system," Dep. Comput. Sci., Stanford Univ., Stanford, CA, Rep. STAN-CS- 72-329, 1972.
[6] R. Farrow, "Linguist-86, yet another translator writing system based on attribute grammars," inProc. SIGPLAN Symp. Compiler Construction, June 1982.
[7] H. Ganzinger, K. Ripken, and R. Wilhelm, "Automatic generation of optimizing multipass compilers," inInformation Processing 77, Proc. IFIP Congress 77, B. Gilchrist, Ed. Amsterdam, The Netherlands: North-Holland, pp. 535-540.
[8] R. M. Herndon, Jr., "The incomplete AG user's guide and reference manual," Dep. Comput. Sci., Univ. Minnesota, Tech. Rep. 85-37, Oct. 1985.
[9] F. Jalili, "A general linear-time evaluator for attribute grammars,"SIGPLAN Notices, vol. 18, no. 9, pp. 35-44, Sept. 1983.
[10] S. C. Johnson, "Yacc: Yet another compiler compiler," Dep. Comput. Sci., Murray Hill, NJ, Tech. Rep. 32, 1975.
[11] U. Kastens, "Ordered attribute grammars,"Acta Inform., vol. 13, no. 3, pp. 229-256, Mar. 1980.
[12] U. Kastens, B. Hutt, and E. Zimmerman,GAG: A Practical Compiler Generator (Lecture Notes in Computer Science, Vol. 141). New York: Springer-Verlag, 1982.
[13] K. Kennedy and S. K. Warren, "Automatic generation of efficient evaluators for attribute grammars," inConf. Rec. 3rd ACM Symp. Principles Programming Languages, ACM, New York, Jan. 1976, pp. 32-49.
[14] K. Kennedy and J. Ramanathan, "A deterministic grammar evaluator based on dynamic sequences,"ACM Trans. Programming Languages Syst., vol., no. 1, pp. 142-160, July 1979.
[15] B. W. Kernighan, "PIC--A graphic language for typesetting graphics,"Software--Practice and Experience, vol. 12, no. 1, pp. 1-21, Jan. 1982.
[16] D. E. Knuth, "Semantics of context free languages,"Math. Syst. Theory, vol. 2, no. 2, pp. 127-145, 1968; see also correction inMath. Syst. Theory, vol. 5, no. 1, pp. 95-96, 1971.
[17] M. E. Lesk, "Lex--A lexical analyzer generator," Dep. Comput. Sci., Bell Labs., Murray Hill, NJ, Tech. Rep, 39, 1975.
[18] L. S. Levy, "A metaprogramming method and its economic justification,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 272-277, Feb. 1986.
[19] B. Lorho, "Semantic attributes processing in the system DELTA," inMethods of Algorithmic Language Implementation, Lecture Notes in Computer Science, Ershov and Kaster, Eds. Berlin, Germany: Springer-Verlag, 1977.
[20] J. G. Martin, "SYN--A language for typesetting syntax charts," Dep. Comput. Sci., Univ. Minnesota, Tech. Rep. 85-35, Oct. 1985.
[21] D. Milos, U. Pleban, and G. Loegel, "Direct implementation of compiler specifications," inConf. Rec. 11th Annu. ACM Symp. Principles of Programming Languages, Jan. 1984, pp. 196-207.
[22] D. R. Milton, L. W. Kirchhoff, and B. R. Rowland, "An ALL(I) compiler generator,"SIGPLAN Notices (Proc. SIGPLAN '79 Conf. Compiler Construction), vol. 14, no. 8, pp. 152-157, Aug. 1979.
[23] G. Papakonstantinou, "A poor man's realization of attribute grammars,"Software--Practice and Experience, vol. 9, no. 9, pp. 719- 728, Sept. 1979.
[24] K.-J. Räihä, M. Saarinen, E. Soisaion-Soininen, and M. Tienari, "The compiler writing system HLP," Dep. Comput. Sci., Univ. Helsinki, Finland, Rep. A-1978-2, Mar. 1978.
[25] D. A. Watt, "An extended attribute grammar for Pascal,"SIGPLAN Notices, vol. 14, no. 2, pp. 60-74, Feb. 1979.
[26] D. A. Watt and O. L. Madsen, "Extended attribute grammars," Dep. Comput. Sci., Aarhus Univ., Denmark, Tech. Rep. DAIMI PB-105, Nov. 1979.

Index Terms:
attribute grammars; programming environments; language prototyping language; translators; Kodiyak; translator development system; conceptual model; high level languages; program interpreters; programming environments
Citation:
R.M. Herndon, Jr., V.A. Berzins, "The Realizable Benefits of a Language Prototyping Language," IEEE Transactions on Software Engineering, vol. 14, no. 6, pp. 803-809, June 1988, doi:10.1109/32.6159
Usage of this product signifies your acceptance of the Terms of Use.