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

메뉴 건너뛰기

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2002, Pages 331-342

Resource usage analysis

(2) Igarashi, Atsushi a Kobayashi, Naoki b

a UNIVERSITY OF TOKYO (Japan)

b TOKYO INSTITUTE OF TECHNOLOGY (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STORAGE EQUIPMENT; FUNCTION EVALUATION; OBJECT ORIENTED PROGRAMMING; STORAGE ALLOCATION (COMPUTER);

PROGRAM CORRECTNESS; RESOURCE USAGE ANALYSIS PROBLEM;

PROGRAM DIAGNOSTICS;

EID: 0036039869 PISSN: 07308566 EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/503272.503303 Document Type: Conference Paper

Times cited : (92)

References (30)

1
- 84976829448
- Improving region-based analysis of higher-order languages
- (1995) Proc. of PLDI , pp. 174-185
- Aiken, A.¹ Fähndrich, M.² Levien, R.³

2
- 0141777876
- A type system for JVM threads
- Proc. of 3rd ACM SIGPLAN Workshop on Types in Compilation (TIC2000), 2000
- Bigliardi, G.¹ Laneve, C.²

3
- 0029725194
- From region inference to von neumann machines via region representation inference
- (1996) Proc. of POPL , pp. 171-183
- Birkedal, L.¹ Tofte, M.² Vejlstrup, M.³

4
- 0031679132
- Escape analysis: Correctness, proof, implementation and experimental results
- (1998) Proc. of POPL , pp. 25-37
- Blanchet, B.¹

5
- 0034826554
- Enforcing high-level protocols in low-level software
- (2001) Proc. of PLDI , pp. 59-69
- DeLine, R.¹ Fähndrich, M.²

6
- 0001449325
- Temporal and modal logic
- In J. V. Leeuwen, editor; chapter 6; The MIT press/Elsevier
- (1990) Handbook of Theoretical Computer Science Volume B , pp. 995-1072
- Emerson, E.A.¹

7
- 84888243417
- Object types against races
- Springer-Verlag
- (1999) CONCUR'99, LNCS 1664 , pp. 288-303
- Flanagan, C.¹ Abadi, M.²

8
- 84957892301
- Types for safe locking
- (1999) Proc. of ESOP 1999, LNCS 1576 , pp. 91-108
- Flanagan, C.¹ Abadi, M.²

9
- 0000877763
- The type system for object initialization in the Java bytecode language
- (1999) ACM Trans. Prog. Lang. Syst. , vol.21 , Issue.6 , pp. 1196-1250
- Freund, S.N.¹ Mitchell, J.C.²

10
- 0019608225
- Shuffle languages, Petri nets, and context-sensitive grammars
- (1981) Comm. ACM , vol.24 , Issue.9 , pp. 597-605
- Gischer, J.¹

11
- 84944062489
- A usage analysis with bounded usage polymorphism and subtyping
- (2000) Proceedings of IFL'00, Implementation of Functional Languages, LNCS 2011 , pp. 140-157
- Gustavsson, J.¹ Svenningsson, J.²

12
- 84955577967
- A type-based analysis for stack allocation in functional languages
- (1995) Proceedings of SAS'95, LNCS 983 , pp. 172-188
- Hannan, J.¹

13
- 27844557772
- Garbage collection based on a linear type system
- Proc. of 3rd ACM SIGPLAN Workshop on Types in Compilation (TIC2000), 2000
- Igarashi, A.¹ Kobayashi, N.²

14
- 0034714632
- Type reconstruction for linear pi-calculus with I/O subtyping
- (2000) Info. Comput. , vol.161 , pp. 1-44
- Igarashi, A.¹ Kobayashi, N.²

15
- 0035029826
- A generic type system for the pi-calculus
- (2001) Proc. of POPL , pp. 128-141
- Igarashi, A.¹ Kobayashi, N.²

16
- 0034911108
- Shuffle languages are in P
- (2001) Theor. Comput. Sci. , vol.250 , Issue.1-2 , pp. 31-53
- Jȩdrzejowicz, J.¹ Szepietowski, A.²

17
- 0003077598
- Unification and ML type reconstruction
- In J.-L. Lassez and G. D. Plotkin, editors; The MIT Press
- (1991) Computational Logic: Essays in Honor of Alan Robinson , pp. 444-478
- Kanellakis, P.C.¹ Mairson, H.G.² Mitchell, J.C.³

18
- 0032664647
- Quasi-linear types
- (1999) Proc. of POPL , pp. 29-42
- Kobayashi, N.¹

19
- 0033691761
- Type-based useless variable elimination
- (2000) Proc. of PEPM , pp. 84-93
- Kobayashi, N.¹

20
- 84879077361
- Type systems for concurrent processes: From deadlock-freedom to livelock-freedom, time-boundedness
- (2000) Proc. of IFIP International Conference on Theoretical Computer Science (TCS2000), LNCS 1872 , pp. 365-389
- Kobayashi, N.¹

21
- 84885206872
- An implicitly-typed deadlock-free process calculus
- Springer-Verlag
- (2000) Proc. of CONCUR2000, LNCS 1877 , pp. 489-503
- Kobayashi, N.¹ Sumii, E.² Saito, S.³

22
- 0029204695
- Abstract models of memory management
- (1995) Proc. of Functional Programming Languages and Computer Architecture , pp. 66-76
- Morrisett, G.¹ Felleisen, M.² Harper, R.³

23
- 0003818126
- Springer-Verlag
- (1999) Principles of Program Analysis
- Nielson, F.¹ Nielson, H.R.² Hankin, C.³

24
- 19144365229
- A generalized deadlock-free process calculus
- (1998) Proc. of Workshop on High-Level Concurrent Language (HLCL'98), ENTCS , vol.16 , Issue.3 , pp. 55-77
- Sumii, E.¹ Kobayashi, N.²

25
- 0028015018
- Implementation of the call-by-value lambda-calculus using a stack of regions
- (1994) Proc. of POPL , pp. 188-201
- Tofte, M.¹ Talpin, J.-P.²

26
- 0029205776
- Once upon a type
- (1995) Proceedings of Functional Programming Languages and Computer Architecture , pp. 1-11
- Turner, D.N.¹ Wadler, P.² Mossin, C.³

27
- 0003232884
- Linear types can change the world!
- North Holland
- (1990) Programming Concepts and Methods
- Wadler, P.¹

28
- 0000189545
- Typed memory management via static capabilities
- (2000) ACM Trans. Prog. Lang. Syst. , vol.22 , Issue.4 , pp. 701-771
- Walker, D.¹ Crary, K.² Morrisett, J.G.³

29
- 0005327160
- On linear types and regions
- Proc. of ICFP, 2001
- Walker, D.¹ Watkins, K.²

30
- 0032639215
- Once upon a polymorphic type
- (1999) Proc. of POPL , pp. 15-28
- Wansbrough, K.¹ Jones, S.L.P.²

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