SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 523 LNCS, Issue , 1991, Pages 618-635

Making abstract machines less abstract

(1) Hannan, John a

a UNIVERSITY OF COPENHAGEN (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; CONCRETES; MEMORY ARCHITECTURE; TRANSLATION (LANGUAGES);

ABSTRACT MACHINES; ARCHITECTURAL FEATURES; INSTRUCTION REGISTER; INTERMEDIATE LEVEL; PROGRAM COUNTERS; SLIGHT VARIANT;

FUNCTIONAL PROGRAMMING;

EID: 0342532542 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3540543961_29 Document Type: Conference Paper

Times cited : (11)

References (8)

1
- 84976752754
- A standard ML compiler
- In G. Kahn, editor, Springer-Verlag LNCS
- A. Appel and D. MacQueen. A standard ML compiler. In G. Kahn, editor, Proceedings of the Conference on Functional Programming and Computer Architecture, Springer-Verlag LNCS, Vol. 274, 1987.
- (1987) Proceedings of the Conference on Functional Programming and Computer Architecture , vol.274
- Appel, A.¹ Macqueen, D.²

2
- 0023331986
- The categorical abstract machine
- G. Cousineau, P-L. Curien, and M. Mauny. The categorical abstract machine. The Science of Programming, 8(2):173–202, 1987.
- (1987) The Science of Programming , vol.8 , Issue.2 , pp. 173-202
- Cousineau, G.¹ Curien, P.-L.² Mauny, M.³

3
- 84976734577
- Staging transformations for abstract machines
- In J. Hughes, editor, ACM Press
- J. Hannan. Staging transformations for abstract machines. In J. Hughes, editor, Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, ACM Press, 1991.
- (1991) Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation
- Hannan, J.¹

4
- 0025555086
- From operational semantics to abstract machines: Preliminary results
- In M. Wand, editor, ACM, ACM Press
- J. Hannan and D. Miller. From operational semantics to abstract machines: preliminary results. In M. Wand, editor, Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pages 323–332, ACM, ACM Press, 1990.
- (1990) Proceedings of the 1990 ACM Conference on Lisp and Functional Programming , pp. 323-332
- Hannan, J.¹ Miller, D.²

5
- 0001097061
- The mechanical evaluation of expressions
- P.J. Landin. The mechanical evaluation of expressions. Computer Journal, 6(5):308–320, 1964.
- (1964) Computer Journal , vol.6 , Issue.5 , pp. 308-320
- Landin, P.J.¹

6
- 85035065624
- Implementing functional languages in the categorical abstract machine
- M. Mauny and A. Suárez. Implementing functional languages in the categorical abstract machine. In Proceedings of the 1986 Symposium on Lisp and Functional Programming, 1986.
- (1986) Proceedings of the 1986 Symposium on Lisp and Functional Programming
- Mauny, M.¹ Suárez, A.²

7
- 0025535993
- Compiling pattern matching by term decomposition
- In M. Wand, editor, ACM, ACM Press
- L. Puel and A. Suárez. Compiling pattern matching by term decomposition. In M. Wand, editor, Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pages 273–281, ACM, ACM Press, 1990.
- (1990) Proceedings of the 1990 ACM Conference on Lisp and Functional Programming , pp. 273-281
- Puel, L.¹ Suárez, A.²

8
- 84976707158
- Compiling ML into CAM
- G. Huet, editor, chapter 4, Addison-Wesley
- A. Suárez. Compiling ML into CAM. In G. Huet, editor, Logical Foundations of Functional Programming, chapter 4, pages 47–73, Addison-Wesley, 1990.
- (1990) Logical Foundations of Functional Programming , pp. 47-73
- Suárez, A.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.