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

메뉴 건너뛰기

The Journal of Logic Programming

Volumn 4, Issue 2, 1987, Pages 157-176

Logic continuations

(1) Haynes, Christopher T a

a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC; COMPUTER PROGRAMMING LANGUAGES;

LOGIC PROGRAMMING; SCHEME;

COMPUTER PROGRAMMING;

EID: 0023362943 PISSN: 07431066 EISSN: None Source Type: Journal
DOI: 10.1016/0743-1066(87)90016-1 Document Type: Article

Times cited : (37)

References (34)

1
- 0003527514
- MIT Press
- (1985) Structure and Interpretation of Computer Programs
- Abelson¹ Sussman² Sussman³

2
- 0017994702
- Shallow Binding in Lisp 1.5
- (1978) Comm. ACM , vol.21 , pp. 565-569
- Baker¹

3
- 84910365202
- Bartley, D.H. and Jensen, J.C., The Implementation of PC Scheme, in: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, pp. 86–93.

4
- 0039833096
- The Memory Management of prolog Implementations
- K.L. Clark, S.-A. Tärnlund, Academic, New York
- (1982) Logic Programming , pp. 83-98
- Bruynooghe¹

5
- 0008915248
- On Implementing Prolog in Functional Programming
- (1984) New Generation Comput. , vol.2 , pp. 347-359
- Carlsson¹

6
- 0004280480
- 2nd ed., Springer, New York
- (1984) Programming in Prolog
- Clocksin¹ Mellish²

7
- 0004238431
- Prentice-Hall
- (1987) The Scheme Programming Language
- Dybvig¹

8
- 17144363845
- Transliterating Prolog into Scheme
- Indiana Univ, Bloomington
- (1985) Computer Science Department Technical Report No. 182
- Felleisen¹

9
- 84910361687
- Felleisen, M. and Friedman, D.P., Control Operators, the SECD-Machine, and the λ-Calculus, in: Formal Description of Programming Concepts III, North-Holland, Amsterdam, to appear.

10
- 0022955294
- Reasoning with Continuations
- Cambridge, Mass
- (1986) Symposium on Logic in Computer Science , pp. 131-141
- Felleisen¹ Friedman² Kohlbecker³ Duba⁴

11
- 0022241632
- Embedding Continuations in Procedural Objects
- Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, to appear. Earlier version appeared as Constraining Control, in:
- (1985) ACM Trans. on Prog. Syst. and Lang. , pp. 245-254
- Friedman¹ Haynes²

12
- 84910368858
- revised in, Indiana Univ, Bloomington
- (1985) Computer Science Department Technical Report No. 183

13
- 0347540826
- Programming with Continuations
- P. Pepper, Springer, New York
- (1984) Program Transformation and Programming Environments , pp. 263-274
- Friedman¹ Haynes² Kohlbecker³

14
- 84910354285
- unpublished manuscript
- (1984) Dynamic Binding in Scheme
- Hanson¹ Lamping²

15
- 0021659104
- Abstracting Timed Preemption with Engines
- Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, to appear. Earlier version appeared as Engines Build Process Abstractions, in:
- (1984) Computer Languages , pp. 18-24
- Haynes¹ Friedman²

16
- 9744268716
- How to Implement Prolog on a lisp Machine
- J.A. Campbell, Halstead, New York
- (1984) Implementations of PROLOG , pp. 117-134
- Kahn¹ Carlsson²

17
- 4243304415
- Academic
- (1985) Prolog for Programmers
- Kluźniak¹ Szpakowicz²

18
- 84910335943
- eu-Prolog
- Indiana Univ, Bloomington
- (1984) Computer Science Department Technical Report No. 155
- Kohlbecker¹

19
- 84909756611
- qlog—the Programming Environment for Prolog
- K.L. Clark, S.-A. Tärnlund, Academic, New York
- (1982) Logic Programming , pp. 315-324
- Komorowski¹

20
- 84976822937
- orbit: An Optimizing Compiler for Scheme
- SIGPLAN Notices
- (1986) Proceedings of the SIGPLAN '86 Symposium on Compiler Construction , vol.21 , pp. 234-241
- Kranz¹

21
- 84943347337
- A Correspondence between algol 60 and Church's Lambda Notation
- (1965) Communications of the ACM , vol.8 , pp. 89-101
- Landin¹

22
- 0041193823
- A Correspondence between algol 60 and Church's Lambda Notation
- (1965) Communications of the ACM , vol.8 , pp. 158-165
- Landin¹

23
- 84910335563
- McDermot, D., An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped lisp, in: Conference Record of the 1980 LISP Conference, ACM Order No. 552800, pp. 154–162.

24
- 0013158914
- Integrating Prolog in the poplog environment
- J.A. Campbell, Halstead, New York
- (1984) Implementations of PROLOG , pp. 147-162
- Mellish¹ Hardy²

25
- 84909891396
- 3 Report on the Algorithmic Language Scheme
- (1986) ACM SIGPLAN Notices , vol.21 , Issue.12 , pp. 37-79
- Rees¹ Clinger²

26
- 85035001592
- Definitional Interpreters for Higher-Order Programming Languages
- (1972) Proceedings of the 25th ACM National Conference , pp. 717-740
- Reynolds¹

27
- 11244293047
- loglisp: Motivation, Design and Implementation
- K.L. Clark, S.-A. Tärnlund, Academic, New York
- (1982) Logic Programming , pp. 299-314
- Robinon¹ Silbert²

28
- 84910344522
- Review of Foundations of Logic Programming by J.W. Lloyd
- (1986) Comput. Rev. , vol.27 , pp. 384-386
- Shapiro¹

29
- 85005203530
- From planner to conniver—a Genetic Approach
- AFIPS Press, Part II
- (1973) Proceedings of Joint Computer Conference 41 , pp. 1171-1179
- Sussman¹ McDermott²

30
- 0022227950
- An(other) Integration of Logic and Functional Programming
- (1985) Proceedings of the IEEE Symposium on Logic Programming , pp. 254-260
- Srivastava¹ Oxley² Srivastava³

31
- 0011610776
- Scheme: An Interpreter for Extended Lambda Calculus
- MIT, Cambridge, Mass
- (1975) Artificial Intelligence Memo No. 349
- Sussman¹ Steele²

32
- 0018924279
- Continuation-Based Program Transformation Strategies
- (1980) J. Assoc. Comput. Math. , vol.27 , pp. 164-180
- Wand¹

33
- 84910351267
- Wand, M., Continuation-Based Multiprocessing, in: Conference Record of the 1980 LISP Conference, ACM Order No. 552800, pp. 154–162.

34
- 84879492094
- A Semantic algebra for Logic Programming
- Indiana Univ, Bloomington
- (1983) Computer Science Department Technical Report No. 134
- Wand¹

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