SCOPUS 정보 검색 플랫폼

Volumn 14, Issue 2-3, 2001, Pages 173-219

The second Futamura projection for type-directed partial evaluation

b POLYTECHNIC UNIVERSITY (United States)

Author keywords

Compiler generation; Computational effects; Generating extension; Partial evaluation; Self application; Typed functional language

Indexed keywords

ALGORITHMS; AUTOMATIC PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; ENCODING (SYMBOLS); PROGRAM COMPILERS; SYNTACTICS;

COMPILER GENERATION; COMPUTATIONAL EFFECTS; GENERATING EXTENSION; SECOND FUTAMURA PROJECTION; SELF APPLICATION; TYPE DIRECTED PARTIAL EVALUATION; TYPED FUNCTIONAL LANGUAGE;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0035465993 PISSN: 13883690 EISSN: None Source Type: Journal
DOI: 10.1023/A:1012992731199 Document Type: Article

Times cited : (8)

References (32)

1
- 0026190524
- An inverse of the evaluation functional for typed λ-calculus
- A.R. Meyer (Ed.), Amsterdam, The Netherland
- (1991) Proceedings of the 6th Annual IEEE Symposium on Logic in Computer Science , pp. 203-213
- Berger, U.¹ Schwichtenberg, H.²

2
- 84958603353
- Hand-writing program generator generators
- Madrid, Spain, M. Hermenegildo and J. Penjam (Eds.), Lecture Notes in Computer Science, no. 844, Springer-Verlag
- (1994) Sixth International Symposium on Programming Language Implementation and Logic Programming , pp. 198-214
- Birkedal, L.¹ Welinder, M.²

3
- 0026218814
- Automatic autoprojection of recursive equations with global variables and abstract data types
- (1991) Science of Computer Programming , vol.16 , pp. 151-195
- Bondorf, A.¹ Danvy, O.²

4
- 84957700485
- Pragmatic aspects of type-directed partial evaluation
- O. Danvy, R. Glück, and P. Thiemann (Eds.), Lecture Notes in Computer Science, no. 1110, Springer-Verlag
- (1996) Partial Evaluation, Proceedings , pp. 73-94
- Danvy, O.¹

5
- 0029706995
- Type-directed partial evaluation
- G.L. Steele Jr. (Ed.), St. Petersburg Beach, Florida
- (1996) Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages , pp. 242-257
- Danvy, O.¹

6
- 84878594031
- A simple solution to type specialization
- K.G. Larsen, S. Skyum, and G. Winskel (Eds.). Lecture Notes in Computer Science, no. 1443, Springer-Verlag
- (1998) Proceedings of ICALP'98, Aalborg, Denmark , pp. 908-917
- Danvy, O.¹

7
- 84958660609
- Type-directed partial evaluation
- Springer-Verlag; Extended version available as BRICS Technical Report LN-98-3
- (1998) Partial Evaluation-Practice and Theory; Proceedings of the 1998 DIKU Summer School, Copenhagen, Denmark, Lecture Notes in Computer Science , Issue.1706 , pp. 367-411
- Danvy, O.¹

8
- 0007816569
- Danvy, O. and Dybjer, P. (Eds.); No. NS-98-8 in Note Series. Department of Computer Science, BRICS, University of Aarhus
- Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation, NBE'98, Gothenburg, Sweden. May 8-9 1998.

9
- 84972048107
- Representing control, a study of the CPS transformation
- (1992) Mathematical Structures in Computer Science , vol.2 , Issue.4 , pp. 361-391
- Danvy, O.¹ Filinski, A.²

10
- 0030289450
- Eta-expansion does the trick
- (1996) ACM Transactions on Programming Languages and Systems , vol.8 , Issue.6 , pp. 730-751
- Danvy, O.¹ Malmkjaer, K.² Palsberg, J.³

11
- 4243607729
- Compiling actions by partial evaluation, revisited
- Technical Report BRICS-RS-98-13, BRICS, Department of Computer Science, University of Aarhus
- (1998)
- Danvy, O.¹ Rhiger, M.²

12
- 84957710442
- Semantics-based compiling: A case study in type-directed partial evaluation
- H. Kuchen and D. Swierstra (Eds.), Aachen, Germany; Extended version available as BRICS Technical Report RS-96-13
- (1996) Eighth International Symposium on Programming Language Implementation and Logic Programming , pp. 182-197
- Danvy, O.¹ Vestergaard, R.²

13
- 84957875880
- An operational investigation of the CPS hierarchy
- S.D. Swierstra (Ed.), Amsterdam, The Netherlands, Lecture Notes in Computer Science, no. 1576, Springer-Verlag
- (1999) Proceedings of the Eighth European Symposium on Programming , pp. 224-242
- Danvy, O.¹ Yang, Z.²

14
- 0028022240
- Representing monads
- H.-J. Boehm (Ed.), Portland, Oregon
- (1994) Proceedings of the Twenty-First Annual ACM Symposium on Principles of Programming Languages , pp. 446-457
- Filinski, A.¹

15
- 0032646150
- Representing layered monads
- A. Aiken (Ed.), San Antonio, Texas
- Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Programming Languages, 1999 , pp. 175-188
- Filinski, A.¹

16
- 84979052936
- A semantic account of type-directed partial evaluation
- G. Nadathur (Ed.), Paris, France, Lecture Notes in Computer Science, no. 1702, Springer-Verlag
- (1999) International Conference on Principles and Practice of Declarative Programming , pp. 378-395
- Filinski, A.¹

17
- 0033319357
- Partial evaluation of computation process - An approach to a compiler-compiler
- Reprinted from Systems, Computers, Controls, 2(5) (1971)
- (1999) Higher-Order and Symbolic Computation , vol.12 , Issue.4 , pp. 363-397
- Futamura, Y.¹

18
- 0007769742
- Source code for the second futamura projection for type-directed partial evaluation in ML
- (2000)
- Grobauer, B.¹ Yang, Z.²

19
- 85002306430
- A computational formalization for partial evaluation
- Extended version available as BRICS Technical Report RS-96-34
- (1997) Mathematical Structures in Computer Science , vol.7 , pp. 507-541
- Hatcliff, J.¹ Danvy, O.²

20
- 0005462704
- Handwriting cogen to avoid problems with static typing
- Draft Proceedings, 4th Annual Glasgow Workshop on Functional Programming, Skye, Scotland, 1991 , pp. 210-218
- Holst, C.K.¹ Launchbury, J.²

21
- 0002993625
- Challenging problems in partial evaluation and mixed computation
- D. Bjørner, A.P. Ershov, and N.D. Jones (Eds.)
- (1988) Partial Evaluation and Mixed Computation , pp. 1-14
- Jones, N.D.¹

22
- 0003799593
- Prentice Hall International Series in Computer Science. Prentice-Hall Internation
- (1993) Partial Evaluation and Automatic Program Generation
- Jones, N.D.¹ Gomard, C.K.² Sestoft, P.³

23
- 0001825807
- MIX: A self-applicable partial evaluator for experiments in compiler generation
- (1989) Lisp and Symbolic Computation , vol.2 , Issue.1 , pp. 9-50
- Jones, N.D.¹ Sestoft, P.² Søndergaard, H.³

24
- 0028468159
- Continuation-based partial evaluation
- C.L. Talcott (Ed.), Orlando, Florida
- (1994) Proceedings of the 1994 ACM Conference on Lisp and Functional Programming , pp. 227-238
- Lawall, J.L.¹ Danvy, O.²

25
- 0003444157
- MIT Press
- (1997) The Definition of Standard ML (Revised)
- Milner, R.¹ Tofte, M.² Harper, R.³ MacQueen, D.⁴

26
- 0024927385
- Computational lambda-calculus and monads
- R. Parikh (Ed.), Pacific Grove, California
- (1989) Proceedings of the Fourth Annual IEEE Symposium on Logic in Computer Science , pp. 14-23
- Moggi, E.¹

27
- 0007864316
- Compiler generation from denotational semantics
- B. Lorho (Ed.)
- (1984) Methods and Tools for Compiler Construction , pp. 219-250
- Paulson, L.C.¹

28
- 0007816783
- Deriving a statically typed type-directed partial evaluator
- Department of Computer Science, University of Aarhus, O. Danvy (Ed.); BRICS Technical Report BRICS-NS-99-1
- (1999) ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99), Proceedings , pp. 25-29
- Rhiger, M.¹

29
- 4243607727
- Run-time code generation for type-directed partial evaluation
- Progress Report, BRICS PhD School, University of Aarhus
- (1999)
- Rhiger, M.¹

30
- 4243992857
- Email exchange
- February
- (2000)
- Sumii, E.¹

31
- 0000055491
- Combinators for program generation
- (1999) Journal of Functional Programming , vol.9 , Issue.5 , pp. 483-525
- Thiemann, P.¹

32
- 0031611721
- Encoding types in ML-like languages
- P. Hudak and C. Queinnec (Eds.), Baltimore, Maryland; Extended version available as BRICS Technical Report RS-98-9
- (1998) Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming , pp. 289-300
- Yang, Z.¹

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