SCOPUS 정보 검색 플랫폼

Volumn 20, Issue 1, 2002, Pages 53-73

A unifying approach to goal-directed evaluation

Author keywords

(Run time) code generation; (Type directed) partial evaluation; Code templates; Computational monads; Continuations

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER PROGRAM LISTINGS; COMPUTER PROGRAMMING; FLOWCHARTING; PROGRAM COMPILERS; PROGRAM INTERPRETERS; SEMANTICS;

BINDING TIME ANALYSIS; CODE TEMPLATES; COMPUTATIONAL MONADS; GOAL DIRECTED EVALUATION; RUNTIME CODE GENERATION; TYPE DIRECTED PARTIAL EVALUATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0036234229 PISSN: 02883635 EISSN: None Source Type: Journal
DOI: 10.1007/BF03037259 Document Type: Article

Times cited : (9)

References (30)

1
- 0003930704
- Cambridge University Press, New York
- (1992) Compiling with Continuations
- Appel, A.W.¹

2
- 0008958549
- Understanding the control of prolog programs
- Technical Report 151, University of Edinburgh
- (1980)
- Byrd, L.¹

3
- 0008915248
- On implementing prolog in functional programming
- (1984) New Generation Computing , vol.2 , Issue.4 , pp. 347-359
- Carlsson, M.¹

4
- 0003503973
- Princeton University Press
- (1941) The Calculi of Lambda-Conversion
- Church, A.¹

5
- 0027186825
- Tutorial notes on partial evaluation
- (Graham, S. L. ed.); Charleston, South Carolina, ACM Press, January
- (1993) Proc. of the Twentieth Annual ACM Symposium on Principles of Programming Languages , pp. 493-501
- Consel, C.¹ Danvy, O.²

6
- 0029723223
- A general approach for run-time specialization and its application to C
- (Steele, G. L. ed.); St. Petersburg Beach, Florida, ACM Press, January
- (1996) Proc. of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages , pp. 145-156
- Consel, C.¹ Noël, F.²

7
- 0008905336
- (Cytron, R. K., ed.), SIGPLAN Notices; Las Vegas, Nevada, ACM Press, June
- (1997) Proc. of the ACM SIGPLAN'97 Conference on Programming Languages Design and Implementation , vol.32 , Issue.5

8
- 84958660609
- Type-directed partial evaluation
- (Hatcliff, J., Mogensen, T. Æ. and Thiemann, P., eds.), 1706 in Lecture Notes in Computer Science; Copenhagen, Denmark, Springer-Verlag, July
- (1998) Partial Evaluation - Practice and Theory; Proc. of the 1998 DIKU Summer School , pp. 367-411
- Danvy, O.¹

9
- 84957710442
- Semantics-based compiling: A case study in type-directed partial evaluation
- (Kuchen, H. and Swierstra, D. eds.), 1140 in Lecture Notes in Computer Science; Aachen, Germany, Springer-Verlag, September; Extended version available as the technical report BRICS-RS-96-13
- (1996) Eighth International Symposium on Programming Language Implementation and Logic Programming , pp. 182-197
- Danvy, O.¹ Vestergaard, R.²

10
- 0032646150
- Representing layered monads
- (Aiken, A. ed.); San Antonio, Texas, ACM Press, January
- (1999) Proc. of the Twenty-Sixth Annual ACM Symposium on Principles of Programming Languages , pp. 175-188
- Filinski, A.¹

13
- 0026481737
- Denotational semantics of a goal-directed language
- (1992) ACM Transactions on Programming Languages and Systems
- Gudeman, D.A.¹

14
- 0025446241
- Representing control in the presence of first-class continuations
- (Lang, B. ed.), SIGPLAN Notices; White Plains, New York, ACM Press, June
- (1990) Proc. of the ACM SIGPLAN '90 Conference on Programming Languages Design and Implementation , vol.25 , Issue.6 , pp. 66-77
- Hieb, R.¹ Dybvig, R.K.² Bruggeman, C.³

15
- 0008914157
- Prological features in a functional setting-axioms and implementations
- (Sato, M. and Toyama, Y. eds.); Kyoto, Japan, World Scientific, April
- (1998) Third Fuji International Symposium on Functional and Logic Programming (FLOPS'98) , pp. 98-122
- Hinze, R.¹

16
- 0023040721
- A novel representation of lists and its application to the function "reverse"
- (1986) Information Processing Letters , vol.22 , Issue.3 , pp. 141-144
- Hughes, J.¹

18
- 24644453859
- Combining monads
- (Launchbury, J. and Sansom, P. M., eds.), Workshops in Computing, Ayr, Scotland, Springer, Berlin
- (1992) Glasgow Workshop on Functional Programming
- King, D.J.¹ Wadler, P.²

20
- 4243669648
- PhD thesis, Department of Computing and Information Sciences, Kansas State University, Manhattan, Kansas, March
- (1993) Abstract Interpretation of Partial-Evaluation Algorithms
- Malmkjær, K.¹

21
- 0024927385
- Computational lambda-calculus and monads
- Pacific Grove, California, IEEE Computer Society Press, June
- (1989) Proc. of the Fourth Annual IEEE Symposium on Logic in Computer Science , pp. 14-23
- Moggi, E.¹

22
- 0030646099
- Simple translation of goal-directed evaluation
- Cytron , pp. 1-6
- Proebsting, T.A.¹

23
- 0008914158
- A new implementation of the icon language
- Technical Report 99-13, University of Arizona, Department of Computer Science
- (1999)
- Proebsting, T.A.¹ Townsend, G.M.²

24
- 0032288850
- Definitional interpreters for higher-order programming languages
- Reprinted from the Proc. of the 25th ACM National Conference, 1972
- (1998) Higher-Order and Symbolic Computation , vol.11 , Issue.4 , pp. 363-397
- Reynolds, J.C.¹

25
- 85037015275
- PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark; Forthcoming
- (2001)
- Rhiger, M.¹

27
- 85040215432
- Compiler optimization based on viewing lambda as rename + goto
- (Winston, P. H. and Brown, R. H., eds.); The MIT Press
- (1979) Artificial Intelligence: An MIT Perspective , vol.2
- Steele G.L., Jr.¹

28
- 84971896354
- Comprehending monads
- December
- (1992) Mathematical Structures in Computer Science , vol.2 , Issue.4 , pp. 461-493
- Wadler, P.¹

29
- 84955607329
- Monads for functional programming
- (Jeuring, J., and Meijer, E., eds.), 925 in Lecture Notes in Computer Science; Springer-Verlag
- (1995) Advanced Functional Programming , pp. 24-52
- Wadler, P.¹

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