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

메뉴 건너뛰기

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2001, Pages 265-276

Possibilities and limitations of call-by-need space improvement

(2) Gustavsson, J a Sands, D a

a CHALMERS UNIVERSITY OF TECHNOLOGY (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; SEMANTICS;

SPACE IMPROVEMENT; SPACE SAFE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0034777428 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/507663.507667 Document Type: Conference Paper

Times cited : (17)

References (32)

1
- 0002916865
- PhD thesis, Department of Computer Science, Chalmers University of Technology, November
- (1987) Compiling Lazy Functional Languages, Part II
- Augustsson, L.¹

2
- 85087537668
- A model for comparing the space usage of lazy evaluators
- Proceedings of PPDP'00, September 2000
- Bakewell, A.¹ Runciman, C.²

3
- 0002994619
- A space semantics for core haskell
- Proceedings of the Haskell Workshop, September 2000
- Bakewell, A.¹ Runciman, C.²

4
- 0009299682
- Modeling sharing and recursion for weak reduction strategies using explicit substitution
- Springer-Verlag
- (1996) Proc. PLILP'96, Volume 1140 of LNCS , pp. 393-407
- Benaissa, Z.-E.-A.¹ Lescanne, P.² Rose, K.H.³

5
- 0029696091
- A provably time and space efficient implementation of nesl
- (1996) Proc. ICFP'96 , pp. 213-225
- Blelloch, G.E.¹ Greiner, J.²

6
- 0027843783
- Towards an automated tupling strategy
- Copenhagen, Denmark
- (1993) Proceedings of PEPM'93 , pp. 119-132
- Chin, W.-N.¹

7
- 85088604995
- Proper tail recursion and space efficiency
- Proc. PLDI'98, 1998
- Clinger, W.D.¹

8
- 0003400164
- A. D. Gordon and A. M. Pitts, editors; Cambridge University Press
- (1998) Higher Order Operational Techniques in Semantics

9
- 0003056908
- PhD thesis, Department of Computer Science, Chalmers University of Technology and Göteborg University, May
- (2001) Space-Safe Transformations and Usage Analysis for Call-by-Need Languages
- Gustavsson, J.¹

10
- 18944407832
- A foundation for space-safe transformations of call-by-need programs
- Proceedings of HOOTS III, Volume 26 of ENTCS. Elsevier, 1999
- Gustavsson, J.¹ Sands, D.²

11
- 0002997526
- PhD thesis, Programming Research Group, Oxford University, July
- (1983) The Design and Implementation of Programming Languages
- Hughes, R.J.M.¹

12
- 0003063657
- Compiling haskell by program transformation: A report from the trenders
- Proceedings of ESOP'96, April 1996
- Jones, S.P.¹

13
- 0003886330
- Haskell 98: A non-strict, purely functional language
- Jones, S.P.¹ Hughes, J.²

14
- 0027186827
- A natural semantics for lazy evaluation
- ACM Press, Jan.
- (1993) Proc. POPL'93 , pp. 144-154
- Launchbury, J.¹

15
- 0003056910
- From operational semantics to domain theory
- 10 July
- (1996) Information and Computation , vol.128 , Issue.1 , pp. 26-47
- Mason, I.A.¹ Smith, S.F.² Talcott, C.L.³

16
- 0001862336
- Fully abstract models of the typed λ-calculus
- (1977) Theoretical Computer Science , vol.4 , pp. 1-22
- Milner, R.¹

17
- 18944389988
- Space-profiling semantics of the call-by-value lambda calculus and the cps transformation
- Proceedings of HOOTS III, Volume 26 of ENTCS. Elsevier, 1999
- Minamide, Y.¹

18
- 18944370847
- A new criterion for safe program transformations
- Proceedings of HOOTS IV, Volume 41 of ENTCS. Elsevier, 2000
- Minamide, Y.¹

19
- 0032691974
- Improvement in a lazy context: An operational theory for call-by-need
- ACM Press, Jan.
- (1999) Proc. POPL'99 , pp. 43-56
- Moran, A.¹ Sands, D.²

20
- 0002924280
- Semantics of memory management for polymorphic languages
- Gordon and Pitts [8] , pp. 175-226
- Morrisett, G.¹ Harper, R.²

21
- 0002020094
- Transformation of programs and use of tupling strategy
- (1977) Proceedings Informatica 77, Bled, Yugoslavia , pp. 1-6
- Pettorossi, A.¹

22
- 0029696090
- Let-floating: Moving bindings to give faster programs
- ACM Press, May
- (1996) Proc. ICFP'96 , pp. 1-12
- Peyton Jones, S.¹ Partain, W.² Santos, A.³

23
- 0032164989
- Transformation-based optimiser for Haskell
- (1998) Science of Computer Programming , vol.32 , Issue.1-3 , pp. 3-47
- Peyton Jones, S.¹ Santos, A.²

24
- 0004088329
- PhD thesis, DIKU, University of Copenhagen, Denmark, Feb.; available as DIKU report 96/1
- (1996) Operational Reduction Models for Functional Programming Languages
- Rose, K.H.¹

25
- 0003066059
- Operational theories of improvement in functional languages (extended abstract)
- Springer-Verlag, Aug.
- (1991) Proc. 1991 Glasgow Functional Programming Workshop, Workshops in Computing Series , pp. 298-311
- Sands, D.¹

26
- 0003376597
- A naïve time analysis and its theory of cost equivalence
- (1995) Journal of Logic and Computation , vol.5 , Issue.4 , pp. 495-541
- Sands, D.¹

27
- 0030102464
- Total correctness by local improvement in the transformation of functional program
- Mar.
- (1996) ACM TOPLAS , vol.18 , Issue.2 , pp. 175-234
- Sands, D.¹

28
- 0031536592
- Deriving a lazy abstract machine
- May
- (1997) Journal of Functional Programming , vol.7 , Issue.3 , pp. 231-264
- Sestoft, P.¹

29
- 0348104948
- From operational to denotational semantics
- Springer Verlag
- (1992) Proceedings of MFPS'92, LNCS , pp. 54-76
- Smith, S.F.¹

30
- 0027836831
- Fixing some space leaks without a garbage collector
- ACM Press, June
- (1993) Proceedings of FPCA '93 , pp. 117-122
- Sparud, J.¹

31
- 0023418633
- Fixing some space leaks with a garbage collector
- September
- (1987) Software Practice and Experience
- Wadler, P.¹

32
- 0025444759
- Deforestation: Transforming programs to eliminate trees
- (1990) Theoretical Computer Science , vol.73 , pp. 231-248
- Wadler, P.¹

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