Staging transformations for abstract machines
Author: 
John HannanAuthors Info & Claims
References
[1]
BONDORF, A. Automatic autoprojection of higher order recursive equations. In ESOP '90. 3rd European Symposium on Programming, Copenhagen, Denmark, May 1990. (Lecture Notes in Computer Science, vol. 432) (1990), N. D. Jones, Ed., Springer-Verlag, pp. 70- 87.
[2]
BONDORF, A., AND DANVY, O. Automatic Autoprojec. tion of Recursive Equations with Global Variables and Abstract Data Types. Tech. Rep. 90/4, DIKU, University of Copenhagen, 1990.
[3]
COUSINEAU, G., CUR/EN, P., AND MAUNY, M. The categorical abstract machine. The Science of Programming 8, 2 (1987), 173-202.
[4]
HANNnN, J., AND MILLER, D. From operational semantics to abstract machines: preliminary results. In Proceedings of the 1990 A CM Conference on Lisp and Functional Programming (1990), M. Wand, Ed., ACM, ACM Press, pp. 323-332.
[5]
HOLST, N. C. K., AND HUGHES, J. Towards binding time improvements for free. In Third Annual Glasgow Workshop on Functional Programming, Draft Proceedings, Ullapool, Scotland (Aug. 1990), pp. 135-144.
[6]
JONES, N., Eel. Semantics-Directed Compiler Gvneration. Vol. 94 of Lecture Notes in Computer Science, Springer-Verlag, 1980.
[7]
JONES, N., SESTOFT, P., AND SONDERGAARD, H. MIX: a self-applicable partial evaluator for experiments in compiler generation. Journal of LISP and Symbolic Computation 2, 1 (1989.), 9-50.
[8]
JORRING, U., AND SCHERLIS, W. Compilers and staging transformations. In Thirteenth A CM Symposium on Principles of Programming Languages (1986), pp. 86- 96.
[9]
KELSEY, R., AND HUDAK, P. Realistic compilation by program transformation. In Sixteenth A CM Symposium on Principles of Programming Languages (1989), pp. 281-292.
[10]
KUrtSAWE, P. How to invent a prolog machine. New Generation Computing 5 (1987), 97-114.
[11]
LANDIN, P. J. The mechanical evaluation of expressions. Computer Journal 6, 5 (1964), 308-320.
[12]
LEE, P. Realistic Compiler Generation. MIT Press, Cambridge, MA, 1989.
[13]
PAULSON, L. A semantics-directed compiler generator. In Proceedings of the A CM Conference on Principles of Programming Languages (1982), p. 224.
[14]
WAND, M. Deriving target code as a representation of continuation semantics. A CM Trans. on Programming Languages and Systems 4, 3 (1982), 496-517.
[15]
WAND, M. Semantics-directed machine architecture. in 9th A CM Symposium on Principles of Programming Languages (1982), pp. 234-241.
Index Terms
- Staging transformations for abstract machines
Recommendations
Data mining in lung cancer pathologic staging diagnosis
We utilised data mining techniques in cancer staging diagnosis.We found the correlation between pathology report and clinical information.Many interesting rules have been generated and evaluated.The evaluation results demonstrated the availability of ...
The value of multimodality MR in T staging evaluation after neoadjuvant therapy for rectal cancer
BACKGROUND:Surgery is the preferred treatment for rectal cancer, but surgical treatment alone sometimes does not achieve satisfactory results.
OBJECTIVE:To explore the value of multimodal Magnetic Resonance (MR) images in evaluating T staging of ...
Tumor volume fuzzification for intelligent cancer staging
Current crisp cancer staging systems suffer major drawbacks.A fuzzy overlapping staging system is proposed, tested, and validated.Measuring cancer size with largest diameter lead to incorrect cancer staging.Fuzzified volume size estimation is introduced ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Sept. 1991
333 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/115866
- Editor:
- Richard L. Wexelblat
Copyright © 1991 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 May 1991
Published in SIGPLAN Volume 26, Issue 9
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations8Total Citations
- 376Total Downloads
- Downloads (Last 12 months)79
- Downloads (Last 6 weeks)11
Reflects downloads up to 01 Jan 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