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

메뉴 건너뛰기

Lisp and Symbolic Computation

Volumn 5, Issue 4, 1993, Pages 295-326

Syntactic abstraction in scheme

(3) Dybvig, R Kent a Hieb, Robert a Bruggeman, Carl a

a INDIANA UNIVERSITY (United States)

Author keywords

Hygienic Macros; Macros; Program Transformation; Syntactic Abstraction

Indexed keywords

EID: 0005362701 PISSN: 08924635 EISSN: 15730557 Source Type: Journal
DOI: 10.1007/BF01806308 Document Type: Article

Times cited : (108)

References (19)

1
- 84931424978
- Steele Jr., Guy L. Common Lisp, the Language. Digital Press, second edition (1990).

2
- 84931357070
- Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Elsevier Science Publishers, revised edition (1984).

3
- 84931336611
- Bawden, Alan and Rees, Jonathan. Syntactic closures. In Proceedings of the 1988 ACM Conference on Lisp and Functional Programming (July 1988) 86–95.

4
- 0005310305
- Hygienic macros through explicit renaming
- (1991) LISP Pointers , vol.4 , pp. 4
- Clinger¹

5
- 84931459232
- Clinger, William and Rees, Jonathan. Macros that work. In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (January 1991) 155–162.

6
- 0005258611
- The revised⁴ report on the algorithmic language Scheme
- (1991) LISP Pointers , vol.4 , pp. 3
- Clinger¹ Rees²

7
- 84931355698
- Coutant, D., Meloy, S., and Ruscetta, M. DOC: A practical approach to source-level debugging of globally optimized code. In Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation (July 1988) 125–134.

8
- 84931329822
- Dybvig, R. Kent. The Scheme Programming Language. Prentice-Hall (1987).

9
- 84931426646
- Dybvig, R. Kent. Writing Hygienic Macros in Scheme with Syntax-Case. Technical Report 356, Indiana Computer Science Department (June 1992).

10
- 84931297892
- Dybvig, R. Kent, Friedman, Daniel P., and Haynes, Christopher T. Expansion-passing style: Beyond conventional macros. In Proceedings of the 1986 ACM Conference on Lisp and Functional Programming (1986) 143–150.

11
- 33750388250
- Expansion-passing style: A general macro mechanism
- (1988) Lisp and Symbolic Computation , vol.1 , Issue.1 , pp. 53-75
- Dybvig¹ Friedman² Haynes³

12
- 84931410580
- Griffin, Timothy G. Definition and Top-Down Refinement for Interactive Proof Development Systems. PhD thesis, Cornell University (August 1988).

13
- 84931367468
- Hanson, Chris. A syntactic closures macro facility. LISP Pointers, 4, 4 (1991).

14
- 84976805568
- Symbolic debugging of optimized code
- (1982) ACM Transactions on Programming Languages and Systems , vol.4 , Issue.3 , pp. 323-344
- Hennessy, J.¹

15
- 0005517782
- Indiana University, Bloomington
- (1986) Syntactic Extensions in the Programming Language Lisp
- Kohlbecker¹

16
- 84931401882
- Kohlbecker, Eugene and Wand, Mitchell. Macro-by-example: Deriving syntactic transformations from their specifications. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages (1987) 77–84.

17
- 84931414011
- Kohlbecker, Eugene, Friedman, Daniel P., Felleisen, Matthias, and Duba, Bruce. Hygienic macro expansion. In Proceedings of the 1986 ACM Conference on Lisp and Functional Programming (1986) 151–161.

18
- 84931378857
- Stoy, Joseph E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press (1977).

19
- 84931299259
- Zellweger, P. An interactive high-level debugger for control-flow optimized programs. In Proceedings of the ACM Software Engineering Symposium on High-Level Debugging (August 1983) 159–171.

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