Refined types: highly differentiated type systems and their use in the design of intermediate languages
Author: 
J. R. RoseAuthors Info & Claims
J. R. RoseAuthors Info & ClaimsPages 278 - 287
References
[1]
A.W. Appel, "Semantics-Directed Code Generation", April 1984. (Reference temporarily unavailable; ACM order number 0-89791-147-4/85/001/0315. See also {Paulson}.)
[2]
Jack W. Davidson & Christopher W. Fraser, "Code Selection through Object Code Optimization", A CM Trans. on Programming Languages and Systems, Vol. 6, No. 4, Oct. 1984, pp. 505-526.
[3]
Alan Demers, James Donahue, and Glenn Skinner, "Data Types as Values: Polymorphism, Type-checking, Encapsulation", Conf. Record of the Fifth ACM Symposium on Principles of Programming Languges, pp. 23-30, ACM, New York (1977).
[4]
Henry Dietz and David Klappholz, "Refined C: A Sequential Language for Parallel Programming", Proc. 1985 International Conf. on Parallel Processing, IEEE Computer Society (August 1986) pp. 442-449.
[5]
Mahadevan Ganapathi and Charles N. Fischer, "Attributed Linear Intermediate Representations for Retargetable Code Generators", Software Practice and Experience, Vol 14(4), pp. 347-364 (April 1984).
[6]
William Harrison, "A New Strategy for Code Generation-the General Purpose Optimizing Compiler", Conf. Record of the Fourth ACM Symposium on Principles of Programming Languges, pp. 29-37, ACM, New York (1977).
[7]
S.C. Johnson, "A Portable Compiler: Theory and Practice", Proc. 5th A CM Syrup. Principles of Programming Languages, (Tucson, Ariz., January 23-25), pp. 97-104, ACM, New York (January 1978).
[8]
B. Liskov et al., "Abstraction Mechanisms in CLU", Comm. of the A CM, vol. 20, no. 8 (August 1977).
[9]
B.W. Leverett, R.G.G. Cattell, S.O. Hobbs, J.M. Newcomer, A.H. Reiner, B.R. Schatz, W.A. Wulf. "An Overview of the Production Quality Compiler-Compiler Project", Computer 13(8):38-49, August 1980.
[10]
David Moon, "Object-Oriented Programruing with Flavors," Proc. OOPSLA, SIG- PLAN Notices, 21 (11), pp. 1-8, 1986.
[11]
J.H. Morris, "Types are not Sets", Conf. Record of the ACM Symposiutn on Principles of Programming Languges, Boston, pp. 120-124, ACM, New York (1973).
[12]
L. Paulson, "A Semantics-Directed Compiler Generator", Conf. Record of the Ninth ACM Symposium on Principles of Programming Languges, Boston, pp. 224-233, ACM, (1982).
[13]
J.C. Reynolds, "Using category theory to design implicit conversions and generic operators", Prec. of the Aarhus Workshop on Semantics-Directed Compiler Generation, Lecture Notes in Computer Science, Springer, Berlin (1980).
[14]
J.C. Reynolds, "Three Approaches to Type Structure", Prec TAPSOFT Advanced Seminar on the Role of Semantics in Software Development, Lecture Notes in Computer Science, Springer, Berlin (t985).
[15]
John R. Rose and Guy L. Steele Jr., "C,: An Extended C Language for Data Parallel Programming", Proc. Second International Conf. on Supercomputing, vol. 2, pp. 2-16, International Supercomputing Institute, Inc., St. Petersburg, Fla. (1987). Also published in Proc. First C++ Workshop, USENIX Association, Berkeley (November 1987) (informally known as the "C++ Lime Book").
[16]
L.A. Rowe, "Data Abstraction from a Programming Language Viewpoint", Proc. Workshop on Data Abstraction, Databases, and Conceptual Modelling, pp. 29-35. Published in SIGPLAN Notices, January 1981.
[17]
Guy L. Steele Jr., RABBIT: A Compiler for Scheme, MIT AI Lab, 1978.
[18]
Bjarne Stroustrup, "Data Abstraction in C", AT&T Bell Laboratories Technical Journal, vol. 68, no. 8, October 1984.
[19]
David W. Wall and Michael L. Powell, "The Mahler Experience: Using an Intermediate Language as a Machine Description'', Proc. 2nd International Conf. on Architectural Support for Programming Languages and Operating Systems (Palo Alto, Ca, October 5-8, 1987), pp. 100-104.
Index Terms
- Refined types: highly differentiated type systems and their use in the design of intermediate languages
Recommendations
Encoding types in ML-like languages
ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programmingA Hindley-Milner type system such as ML's seems to prohibit type-indexed values, i.e., functions that map a family of types to a family of values. Such functions generally perform case analysis on the input types and return values of possibly different ...
Polymorphic type inference and abstract data types
Many statically typed programming languages provide an abstract data type construct, such as the module in Modula-2. However, in most of these languages, implementations of abstract data types are not first-class values. Thus, they cannot be assigned to ...
Comments
Information & Contributors
Information
Published In
Copyright © 1988 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]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 June 1988
Published in SIGPLAN Volume 23, Issue 7
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 372Total Downloads
- Downloads (Last 12 months)59
- Downloads (Last 6 weeks)16
Reflects downloads up to 06 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in