IDL: Sharing Intermediate Representations

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 9, Issue 3, 1987, Pages 297-318

  Lamb, David Alex ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

Data representation; data structures; input output; software engineering; system design

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE - SOFTWARE ENGINEERING; DATABASE SYSTEMS - MANAGEMENT; MATHEMATICAL TECHNIQUES - GRAPH THEORY;

ABSTRACT DESCRIPTIONS; DATA REPRESENTATION; IDL; IDL TRANSLATOR; INTERFACE DESCRIPTION LANGUAGE;

DATA PROCESSING;

EID: 0023383221     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/24039.24040     Document Type: Article

References (48)

1. Aho, A. V., AND Ullman, J. D. Principles of Compiler Design. Addison-Wesley, Reading, Mass., 1978.
2. Ammann, U. The method of structured programming applied to the development of a compiler. In Proceedings of the 1973 ACM International Computing Symposium. ACM, New York, 1974.
3. Atkinson, M. P. IDL: A machine-independent data language. Softw. Pract. Exper. 7, 6 (Nov. 1977), 671–684.
4. Bjorner, D., and Jones, C. B. The Vienna Development Method: The Meta-Language. Springer-Verlag, New York, 1978.
5. Brosgol, B. M., Newcomer, J. M., Lamb, D. A., Levine, D., van Deusen, M. S., and Wulf, W. A. TCOL.Ada: Revised report on an intermediate representation for the preliminary Ada language. CMU-CS-80-105, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pa. (Feb. 1980).
6. Buxton, J. N. Stoneman: Requirements for Ada programming support environments. Defense Advanced Research Projects Agency, Arlington, Va. (Feb. 1980).
7. Coleman, S. S., Poole, P. C., and Waite, W. M. The mobile programming system, Janus. Softw. Pract. Exper. 4 (1974), 5–23.
8. DARPA. Reference Manual for the Ada Programming Language. ACM, New York, July 1982. (Order number 825820).
9. Dausmann, M., Drossopoulou, S., Goos, G., Persch, G., and Winterstein, G. AIDA Introduction and User Manual. 38/80. Institut fuer Informatik II, Univ. Karlsruhe, Karlsruhe, West Germany (1980).
10. DeRemer, F., and Kron, H. H. “Programming-in-the-large” versus “programming in the small”. IEEE Trans. Softw. Eng. SE-2, 2 (June 1976), 80–86.
11. Digital Equipment Corporation. BLISS Language Guide. DEC, Maynard, Mass., 1977.
12. Goos, G., and Wulf, W. A. Diana Reference Manual. CMU-CS-81-101, Computer Science Dept., Carnegie-Mellon Univ., Pittsburgh, Pa. (Mar. 1981).
13. Goos, G., Wulf, W. A., Evans, A., and Butler, K. J. DIANA: An intermediate language for Ada. Lecture Notes in Computer Science 161, Springer-Verlag, New York, 1983.
14. Gries, D. Compiler Construction for Digital Computers. John Wiley, New York, 1971.
15. Guttag, J., Horning, J., and Wing, J. Some notes on putting specifications to productive use. Sci. Comput. Program. (Oct. 1982), 53–68.
16. Habermann, A. N. The Gandalf research project. Comput. Sci. Res. Rev., Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pa. (1978 - 79).
17. Habermann, A. N., Ellison, R., Medina-Mora, R., Feiler, P., Notkin, D. S., Kaiser, G. E., Garlan, D. B., and Popovich, S. The second compendium of Gandalf documentation. Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pa. (May 1982).
18. Haddon, B. K., AND Waite, W. M. Experience with the universal intermediate language Janus. Softw. Pract. Exper. 8, 5 (Sept. 1978), 601–616.
19. Herlihy, M. P. Transmitting abstract values in messages. MIT/LCS/TR-234, Massachusetts Institute of Technology, Cambridge, Mass. (1980).
20. Herlihy, M., and Liskov, B. A value transmission method for abstract data types. ACM Trans. Program. Lang. Syst. 4, 4 (Oct. 1982), 527–551.
21. INTERMETRICS, Inc. Intermetrics LS system description. IR 536, Intermetrics, 733 Concord Ave., Cambridge, Mass. 02138 (Aug. 1980).
22. INTERMETRICS, Inc. Draft computer program development specification for the Ada Integrated Environment: MAPSE generation and support. IR 680, Intermetrics, 733 Concord Ave., Cambridge, Mass. 02138 (Mar. 1981).
23. Intermetrics, Inc. Draft computer program development specification for the Ada integrated environment: Program integration facilities. IR 681, Intermetrics, 733 Concord Ave., Cambridge, Mass. 02138 (Mar. 1981).
24. Intermetrics, Inc. Compiler retargeting tools user's guide. IR-MA-623, Intermetrics, 733 Concord Ave., Cambridge, Mass. 02138 (May 1986).
25. Kahn, G., Donzeau-Gouge, V., and Lang, B. Formal definition of the Ada programming language. Honeywell, Inc., Cii Honeywell Bull., INRIA (Nov. 1980).
26. Kernighan, B., and Plauger, P. J. Software Tools in Pascal. Addison-Wesley, Reading, Mass., 1981.
27. Lamb, D. A. Sharing intermediate representations: The interface description language. Ph.D. dissertation, CMU-CS-83-129, Carnegie-Mellon University, Pittsburgh, Pa. (May 1983).
28. Lamb, D. A. Generating interface packages for IDL descriptions. Department of Computing and Information Science, Queen's University, Kingston, Ontario (June 1987).
29. Leverett, B. W., Cattell, R. G. G., Hobbs, S. O., Newcomer, J. M., Reiner, A. H., Schatz, B. R., and Wulf, W. A. An overview of the production quality compiler-compiler project. IEEE Computer 13, 8 (Aug. 1980), 38–49.
30. Liskov, B., Atkinson, R., Bloom, T., Moss, E., Schaffert, J. C., and Snyder, A. CLU Reference Manual. Springer-Verlag, New York, 1981. Also appeared as MIT Laboratory for Computer Science, Tech. Rep. MIT/LCS/TR-225 (Oct. 1979).
31. Medina-Mora, R. Syntax-directed editing: Towards integrated programming environments. Ph.D. dissertation, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pa. (Mar. 1982).
32. Mitchell, J. G., Maybury, W., and Sweet, R. Mesa language manual version 5.0. CLS-79-3, Xerox Palo Alto Research Center, Palo Alto, Calif. (Apr. 1979).
33. Nelson, B. J. Remote procedure calls. Ph.D. dissertation, CMU-CS-81-119, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pa. (May 1981).
34. Nelson, P. A. A comparison of Pascal intermediate languages. SIGPLAN Not. 14, 8 (Aug. 1979), 208–213.
35. Nestor, J. R., Wulf, W. A., and Lamb, D. A. IDL—Interface description language: Formal description. CMU-CS-81-139, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pa. (Aug. 1981).
36. Nestor, J. R., Wulf, W. A., and Lamb, D. A. IDL—Interface description language: Formal description. Computer Science Department, Carnegie-Mellon University (June 1982). Draft revision 2.0. Available from the Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, Pa.
37. Newcomer, J. M. BLISS timer package user's manual. Computer Science Department, Carnegie-Mellon Univ., Pittsburgh, Pa. (1981).
38. Newcomer, J. M., Lamb, D. A., Leverett, B. W., Levine, D., Reiner, A. H., Tighe, M., and Wulf, W. A. TCOL.Ada: Revised report on an intermediate representation for the DoD standard programming language. CMU-CS-79-128, Computer Science Dept., Carnegie-Mellon Univ., Pittsburgh, Pa. (June 1979).
39. Persch, G., Winterstein, G., Dausmann, M., Drossopoulou, S., and Goos, G. AIDA Reference Manual. Nr. 39/80, Institut fuer Informatik II, Universitaet Karlsruhe, Karlsruhe, West Germany (Nov. 1980).
40. Richards, M. The portability of the BCPL compiler. Softw. Pract. Exper. 1 (1971), 135–146.
41. Ritchie, D. M., Johnson, S. C., Lesk, M. E., and Kernighan, B. W. The C programming language. Bell Syst. Tech. J. 57, 6 (July-Aug. 1979), 1991–2019.
42. Schatz, B. R., Leverett, B. W., Newcomer, J. M., Reiner, A. H., and Wulf, W. A. TCOL.Ada: An intermediate representation for the DoD standard programming language. CMU-CS-79-110, Computer Science Dept., Carnegie-Mellon Univ., Pittsburgh, Pa. (Mar. 1979).
43. Snodgrass, R., and Shannon, K. Supporting flexible and efficient tool integration. SoftLab Document No. 25, Computer Science Department, University of North Carolina, Chapel Hill, N.C. (May 1986).
44. Tichy, W. Software development control based on system structure description. Ph.D. dissertation, CMU-CS-80-120, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pa. (Jan. 1980).
45. Warren, W. B., Kickenson, J., and Snodgrass, R. A tutorial introduction to using IDL. SoftLab Document No. 1, Computer Science Department, University of North Carolina, Chapel Hill, N.C. (Dec. 1985).
46. Wegner, P. The Vienna definition language. Comput. Surv. 4,1 (Mar. 1972), 5–63.
47. Wulf, W. A. PQCC: A machine-relative compiler technology. In Fourth International COMPSAC Conference (Oct. 1980), Appendix B, IEEE Press, New York, pp. 24–36.
48. Wulf, W. A., Russell, D. B., and Habermann, A. N. BLISS: A language for systems programming. Commun. ACM 14,12 (Dec. 1971), 780–790.