-
2
-
-
85020635882
-
Strictness Logic and Polymorphic Invariance
-
Nerode, A. and Taitslin, M., editors, Tver, Russia. Springer-Verlag
-
Benton, P. N. (1992) Strictness Logic and Polymorphic Invariance. In: Nerode, A. and Taitslin, M., editors, Proc. Int. Symposium on Logical Foundations of Computer Science, pp. 33-44. Tver, Russia. Springer-Verlag.
-
(1992)
Proc. Int. Symposium on Logical Foundations of Computer Science
, pp. 33-44
-
-
Benton, P.N.1
-
3
-
-
0025550234
-
Using projection analysis in compiling lazy functional programs
-
ACM Press
-
Burn, G. L. (1990) Using projection analysis in compiling lazy functional programs. In: Proc. ACM Conference on Lisp and Functional Programming, pp. 227-241. ACM Press.
-
(1990)
Proc. ACM Conference on Lisp and Functional Programming
, pp. 227-241
-
-
Burn, G.L.1
-
4
-
-
0343975623
-
The Evaluation Transformer Model of reduction and its correctness
-
Abramsky, S. and Maibaum, T. S. E., editors, Brighton, UK. Springer-Verlag
-
Burn, G. L. (1991a) The Evaluation Transformer Model of reduction and its correctness. In: Abramsky, S. and Maibaum, T. S. E., editors, Proc, TAPSOFT'91, Vol 2, pp. 458-482, Brighton, UK. Springer-Verlag.
-
(1991)
Proc, TAPSOFT'91
, vol.2
, pp. 458-482
-
-
Burn, G.L.1
-
6
-
-
0022813752
-
Strictness analysis of higher-order functions
-
Burn, G. L., Hankin, C. L. and Abramsky, S. (1986) Strictness analysis of higher-order functions. Science of Computer Programming, 7(November): 249-278.
-
(1986)
Science of Computer Programming
, vol.7
, Issue.NOVEMBER
, pp. 249-278
-
-
Burn, G.L.1
Hankin, C.L.2
Abramsky, S.3
-
7
-
-
0023331986
-
The categorical abstract machine
-
Cousineau, G., Curien, P.-L. and Mauny, M. (1987) The categorical abstract machine. Science of Computer Programming, 8: 173-202.
-
(1987)
Science of Computer Programming
, vol.8
, pp. 173-202
-
-
Cousineau, G.1
Curien, P.-L.2
Mauny, M.3
-
9
-
-
0000911801
-
Abstract interpretation and application to logic programs
-
Cousot, P. and Cousot, R. (1992a) Abstract interpretation and application to logic programs. J. Logic Programming, 13(2-3): 103-179.
-
(1992)
J. Logic Programming
, vol.13
, Issue.2-3
, pp. 103-179
-
-
Cousot, P.1
Cousot, R.2
-
11
-
-
3042986925
-
Representing Control: A Study of the Cps Transformation
-
Kansas State University
-
Danvy, O. and Filinski, A. (1991) Representing Control: a Study of the Cps Transformation. Technical Report TR CIS-91-2, Kansas State University.
-
(1991)
Technical Report TR CIS-91-2
-
-
Danvy, O.1
Filinski, A.2
-
14
-
-
0346317716
-
Using domain algebras to prove the correctness of a compiler
-
Springer-Verlag
-
Dybjer, P. (1985) Using domain algebras to prove the correctness of a compiler. In: Proc. STACS85, pp. 98-108. Springer-Verlag.
-
(1985)
Proc. STACS85
, pp. 98-108
-
-
Dybjer, P.1
-
15
-
-
0027797469
-
Assessing the Evaluation Transformer Model of reduction on the spineless G-machine
-
ACM Press
-
Finne, S. O. and Burn, G. L. (1993) Assessing the Evaluation Transformer Model of reduction on the spineless G-machine. In: Proc. Conf. Functional Programming and Computer Architecture, pp. 331-340. ACM Press.
-
(1993)
Proc. Conf. Functional Programming and Computer Architecture
, pp. 331-340
-
-
Finne, S.O.1
Burn, G.L.2
-
16
-
-
84976854485
-
Lambda calculus schemata
-
ACM Conf. on Proving Assertions about Programs, New Mexico
-
Fischer, M. J. (1972) Lambda calculus schemata. In: ACM Conf. on Proving Assertions about Programs, pp. 104-109, New Mexico. (ACM Sigplan Notices 7(1).)
-
(1972)
ACM Sigplan Notices
, vol.7
, Issue.1
, pp. 104-109
-
-
Fischer, M.J.1
-
17
-
-
0002884634
-
Lambda calculus schemata
-
Fischer, M. J. (1993) Lambda calculus schemata. Lisp and Symbolic Computation, 6(3/4): 259-287.
-
(1993)
Lisp and Symbolic Computation
, vol.6
, Issue.3-4
, pp. 259-287
-
-
Fischer, M.J.1
-
18
-
-
84976668242
-
The essence of compiling with continuations
-
ACM Sigplan '93 Conf. on Programming Language Design and Implementation, Albuquerque, NM
-
Flanagan, C., Sabry, A., Duba, B. F. and Felleisen, M. (1993) The essence of compiling with continuations. In: ACM Sigplan '93 Conf. on Programming Language Design and Implementation, pp. 237-247, Albuquerque, NM. (ACM Sigplan Notices, 28(6).)
-
(1993)
ACM Sigplan Notices
, vol.28
, Issue.6
, pp. 237-247
-
-
Flanagan, C.1
Sabry, A.2
Duba, B.F.3
Felleisen, M.4
-
21
-
-
0016643927
-
Correctness-preserving program transformations
-
ACM Press
-
Gerhart, S. L. (1975) Correctness-preserving program transformations. In: Proc. POPL75, pp. 54-66. ACM Press.
-
(1975)
Proc. POPL75
, pp. 54-66
-
-
Gerhart, S.L.1
-
27
-
-
0040185554
-
-
PhD thesis, Department of Computer Science, Yale University. Report Number YALEU/DCS/RR-632
-
Kranz, D. A. (1988) Orbit: An Optimising Compiler for Scheme. PhD thesis, Department of Computer Science, Yale University. (Report Number YALEU/DCS/RR-632.)
-
(1988)
Orbit: An Optimising Compiler for Scheme
-
-
Kranz, D.A.1
-
28
-
-
84976822937
-
Orbit: An optimising compiler for Scheme
-
ACM Press
-
Kranz, D. A., Kelsey, R., Rees, J. A., Hudak, P., Philbin, J. and Adams, N. I. (1986) Orbit: an optimising compiler for Scheme. In: Proc. SIGPLAN '86 Symposium on Compiler Construction, pp. 219-233. ACM Press.
-
(1986)
Proc. SIGPLAN '86 Symposium on Compiler Construction
, pp. 219-233
-
-
Kranz, D.A.1
Kelsey, R.2
Rees, J.A.3
Hudak, P.4
Philbin, J.5
Adams, N.I.6
-
30
-
-
85033715012
-
The G-machine as a representation of stack semantics
-
Kahn, G., editor, Springer-Verlag
-
Lester, D. R. (1987) The G-machine as a representation of stack semantics. In: Kahn, G., editor, Proc. Functional Programming Languages and Computer Architecture Conf., pp. 46-59. Springer-Verlag.
-
(1987)
Proc. Functional Programming Languages and Computer Architecture Conf.
, pp. 46-59
-
-
Lester, D.R.1
-
32
-
-
0346918016
-
Reasoning about simple and exhaustive demand in higher-order languages
-
Hughes, J., editor, Cambridge, MA. Springer-Verlag
-
Leung, A. and Mishra, P. (1991) Reasoning about simple and exhaustive demand in higher-order languages. In: Hughes, J., editor, Proc. Conference on Functional Programming and Computer Architecture, pp. 329-351, Cambridge, MA. Springer-Verlag.
-
(1991)
Proc. Conference on Functional Programming and Computer Architecture
, pp. 329-351
-
-
Leung, A.1
Mishra, P.2
-
33
-
-
85035102569
-
Continuation semantics in the typed lambda-calculus
-
Springer-Verlag
-
Meyer, A. and Wand, M. (1985) Continuation semantics in the typed lambda-calculus. In: Proc. Logics of Programs, pp. 219-224. Springer-Verlag.
-
(1985)
Proc. Logics of Programs
, pp. 219-224
-
-
Meyer, A.1
Wand, M.2
-
34
-
-
84995677268
-
Advice on structuring compilers and proving them correct
-
ACM Press
-
Morris, F. L. (1973) Advice on structuring compilers and proving them correct. In: Proc. POPL73, pp. 144-152 ACM Press.
-
(1973)
Proc. POPL73
, pp. 144-152
-
-
Morris, F.L.1
-
35
-
-
85034951137
-
A constructive approach to compiler correctness
-
Springer-Verlag
-
Mosses, P. D. (1980) A constructive approach to compiler correctness. In: Proc. ICALP80, pp. 449-462. Springer-Verlag.
-
(1980)
Proc. ICALP80
, pp. 449-462
-
-
Mosses, P.D.1
-
36
-
-
3042883506
-
Continuation passing transformation and abstract intrepretation
-
Burn, G. L., Gay, S. J. Ryan, M. D., editors, Workshops in Computer Science. Sussex, UK. Springer-Verlag
-
Muylaert Filho, J. and Burn, G. L. (1993) Continuation passing transformation and abstract intrepretation. In: Burn, G. L., Gay, S. J. Ryan, M. D., editors, Theory and Formal Methods 1993: Proceedings of the First Imperial College, Department of Computing, Workshop on Theory and Formal Methods. Workshops in Computer Science. Sussex, UK. Springer-Verlag.
-
(1993)
Theory and Formal Methods 1993: Proceedings of the First Imperial College, Department of Computing, Workshop on Theory and Formal Methods
-
-
Muylaert Filho, J.1
Burn, G.L.2
-
38
-
-
84976812347
-
Program transformations in a denotational setting
-
Nielson, F. (1985) Program transformations in a denotational setting. ACM TOPLAS, 7: 359-379.
-
(1985)
ACM TOPLAS
, vol.7
, pp. 359-379
-
-
Nielson, F.1
-
39
-
-
0023860538
-
Strictness analysis and denotational abstract interpretation
-
Nielson, F. (1988) Strictness analysis and denotational abstract interpretation. Inform. and Comput., 76: 29-92.
-
(1988)
Inform. and Comput.
, vol.76
, pp. 29-92
-
-
Nielson, F.1
-
40
-
-
0024778720
-
Two-level semantics and abstract interpretation
-
Nielson, F. (1989) Two-level semantics and abstract interpretation. Theoretical Computer Science, 69: 117-242.
-
(1989)
Theoretical Computer Science
, vol.69
, pp. 117-242
-
-
Nielson, F.1
-
41
-
-
3042947048
-
The tensor product in Wadler's Analysis of Lists
-
Krieg-Brückner, B., editor, Rennes, France. Springer-Verlag
-
Nielson, F. and Nielson, H. R. (1992) The tensor product in Wadler's Analysis of Lists. In: Krieg-Brückner, B., editor, Proceedings of ESOP'92, pp. 351-370, Rennes, France. Springer-Verlag.
-
(1992)
Proceedings of ESOP'92
, pp. 351-370
-
-
Nielson, F.1
Nielson, H.R.2
-
43
-
-
84974434216
-
Unboxed values as first class citizens in a non-strict functional language
-
Hughes, J., editor, Cambridge, MA. Springer-Verlag
-
Peyton Jones, S. L. and Launchbury, J. (1991) Unboxed values as first class citizens in a non-strict functional language. In: Hughes, J., editor, Proc. Conference on Functional Programming and Computer Architecture, pp. 636-666, Cambridge, MA. Springer-Verlag.
-
(1991)
Proc. Conference on Functional Programming and Computer Architecture
, pp. 636-666
-
-
Peyton Jones, S.L.1
Launchbury, J.2
-
44
-
-
18944377121
-
Call-by-name, Call-by-value and the λ-calculus
-
Plotkin, G. D. (1975) Call-by-name, Call-by-value and the λ-calculus. Theoretical Computer Science, 1: 125-159.
-
(1975)
Theoretical Computer Science
, vol.1
, pp. 125-159
-
-
Plotkin, G.D.1
-
46
-
-
3042991931
-
Reasoning about Programs in Continuation-Passing Style
-
Rice University
-
Sabry, A. and Felleisen, M. (1992) Reasoning about Programs in Continuation-Passing Style. Technical Report TR 92-180, Rice University.
-
(1992)
Technical Report TR 92-180
-
-
Sabry, A.1
Felleisen, M.2
-
47
-
-
0000307929
-
Reasoning about programs in continuation-passing style
-
Sabry, A. and Felleisen, M. (1993) Reasoning about programs in continuation-passing style. Lisp and Symbolic Computation, 6(3/4).
-
(1993)
Lisp and Symbolic Computation
, vol.6
, Issue.3-4
-
-
Sabry, A.1
Felleisen, M.2
-
48
-
-
85010425482
-
State transition machines for lambda-calculus expressions
-
Springer-Verlag
-
Schmidt, D. A. (1980) State transition machines for lambda-calculus expressions. In: Proc. Semantics-Directed Compiler Generation Workshop, pp. 415-440. Springer-Verlag.
-
(1980)
Proc. Semantics-Directed Compiler Generation Workshop
, pp. 415-440
-
-
Schmidt, D.A.1
-
49
-
-
0004219535
-
Rabbit: A Compiler for Scheme
-
AI Tech. Rep. 474. MIT, Cambridge, MA
-
Steele Jr., G. L. (1978) Rabbit: A Compiler for Scheme. Technical report, AI Tech. Rep. 474. MIT, Cambridge, MA.
-
(1978)
Technical Report
-
-
Steele Jr., G.L.1
-
50
-
-
0039330729
-
More advice on structuring compilers and proving them correct
-
Thatcher, J. W., Wagner, E. G. and Wright, J. B. (1981) More advice on structuring compilers and proving them correct. Theoretical Computer Science, 15: 223-249.
-
(1981)
Theoretical Computer Science
, vol.15
, pp. 223-249
-
-
Thatcher, J.W.1
Wagner, E.G.2
Wright, J.B.3
-
51
-
-
84909750205
-
Projections for strictness analysis
-
Kahn, G., editor, Springer-Verlag
-
Wadler, P. and Hughes, R. J. M. (1987) Projections for strictness analysis. In: Kahn, G., editor, Proc. Functional Programming Languages and Computer Architecture Conf., pp. 385-407. Springer-Verlag.
-
(1987)
Proc. Functional Programming Languages and Computer Architecture Conf.
, pp. 385-407
-
-
Wadler, P.1
Hughes, R.J.M.2
-
52
-
-
0002294083
-
Strictness analysis on non-flat domains (by abstract interpretation over finite domains)
-
Abramsky, S. and Hankin, C. L., editors, Ellis Horwood
-
Wadler, P. L. (1987) Strictness analysis on non-flat domains (by abstract interpretation over finite domains). In: Abramsky, S. and Hankin, C. L., editors, Abstract Interpretation of Declarative Languages, pp. 266-275. Ellis Horwood.
-
(1987)
Abstract Interpretation of Declarative Languages
, pp. 266-275
-
-
Wadler, P.L.1
-
53
-
-
84976841631
-
Deriving target code as a representation of continuation semantics
-
Wand, M. (1982) Deriving target code as a representation of continuation semantics. ACM Trans. Programming Languages and Systems, 4(3): 496-517.
-
(1982)
ACM Trans. Programming Languages and Systems
, vol.4
, Issue.3
, pp. 496-517
-
-
Wand, M.1
|