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

메뉴 건너뛰기

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2001, Pages 137-147

SafeTSA: A type safe and referentially secure mobile-code representation based on static single assignment form

(4) Amme, W a Dalton, N a Von Ronne, J a Franz, M a

a UNIVERSITY OF CALIFORNIA (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CODES; DATA FLOW ANALYSIS; JAVA PROGRAMMING LANGUAGE; MICROPROGRAMMING; OPTIMIZATION; REDUNDANCY;

JAVA BYTECODES; JAVA VIRTUAL MACHINES; MOBILE-CODE REPRESENTATION;

PROGRAM COMPILERS;

EID: 0034826427 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (29)

References (30)

1
- 0342321935
- The Jalapeno virtual machine
- February
- (2000) IBM System Journal , vol.39 , Issue.1
- Alpern, B.¹ Attanasio, C.R.²

2
- 0003223993
- Jalapeno - A compiler-supported java virtual machine for servers
- May
- (1999) Workshop on Compiler Support for Software System (WCSSS 99)
- Alpern, B.¹ Cocchi, A.² Lieber, D.³ Mergen, M.⁴ Sarkar, V.⁵

3
- 0032064780
- Data dependence analysis in programs with pointers
- May
- (1998) Parallel Computing , vol.24 , Issue.3-4 , pp. 505-525
- Amme, W.¹ Zehendner, E.²

4
- 0003503404
- Architecture neutral distribution format (XANDF) specification, January
- (1996) Open Group Specification , vol.P527

5
- 84864840992
- Adaptive optimization in the Jalapeno JVM
- (2000) ACM OOPLSA 2000
- Arnold, M.¹ Fink, S.²

6
- 0028548373
- Single-pass generation of static single-assignment form for structured languages
- Nov.
- (1994) ACM Trans. Prog. Lang. and Sys. , vol.16 , Issue.6 , pp. 1684-1698
- Brandis, M.M.¹ Mössenböck, H.²

7
- 0032117025
- Practical improvements to the construction and destruction of static single assignment form
- July
- (1998) Software Practice and Experience , vol.28 , Issue.8 , pp. 859-881
- Briggs, P.¹ Cooper, K.D.² Harvey, T.J.³ Simpson, L.T.⁴

8
- 0004333596
- PhD thesis, Rice University, Houston, Texas
- Combining Analyses, Combining Optimizations
- Click, C.¹

9
- 0003592365
- Technical Report 1990TR-125, Swiss Federal Institute of Technology, Zurich, Feb.
- (1990) OP2: A Portable Oberon Compiler
- Crelier, R.¹

10
- 0024866680
- An efficient method of computing static single assignment form
- (1989) POPL '89
- Cytron, R.¹ Ferrante, J.² Rosen, B.K.³ Wegman, M.K.⁴ Zadeck, F.K.⁵

11
- 0026243790
- Efficiently computing static single assignment form and the control dependence graph
- Oct.
- (1990) ACM Trans. Prog. Lang. and Sys. , vol.13 , Issue.4 , pp. 451-490
- Cytron, R.¹ Ferrante, J.² Rosen, B.K.³ Wegman, M.N.⁴ Zadeck, F.K.⁵

12
- 0031642546
- Type-based alias analysis
- May
- (1998) ACM SIGPLAN Notices , vol.33 , Issue.5 , pp. 106-117
- Diwan, A.¹ McKinley, K.S.² Moss, J.E.B.³

13
- 0003526180
- Marmot: An optimizing compiler for Java
- Microsoft Research, March
- (2000) Microsoft Technical Report , vol.3
- Fitzgerald, R.¹ Knoblock, T.B.²

14
- 0031361448
- Slim binaries
- Dec.
- (1997) Communications of the ACM , vol.40 , Issue.12 , pp. 87-94
- Franz, M.¹ Kistler, T.²

15
- 0034447511
- Field analysis: Getting useful and low-cost interprocedural information
- (2000) PLDI '00
- Ghemawat, S.¹ Randall, K.H.² Scales, D.J.³

16
- 0003508899
- Sun Hotspot compiler for Java

17
- 84938015047
- A method for the construction of minimum redundancy codes
- (1951) Proceedings of the IRE , vol.40 , pp. 1098-1101
- Huffman, D.A.¹

18
- 0031271862
- Annotating the Java bytecodes in support of optimization
- Nov., Special Issue: Java for computational science and engineering - Simulation and modeling II
- (1997) Concurrency: Practice and Experience , vol.9 , Issue.11 , pp. 1003-1016
- Hummel, J.¹ Azevedo, A.² Kolson, D.³ Nicolau, A.⁴

19
- 0004258813
- Phd Dissertation, University of California, Irvine
- (1999) Continuous Program Optimization
- Kistler, T.¹

20
- 0001127842
- A tree-based alternative to Java byte-codes
- Feb.
- (1999) International Journal of Parallel Programming , vol.27 , Issue.1 , pp. 21-34
- Kistler, T.¹ Franz, M.²

21
- 84976651458
- A fast algorithm for finding dominators in a flowgraph
- July
- (1979) ACM Trans. Prog. Lang. and Sys. , vol.1 , Issue.1 , pp. 121-141
- Lenguer, T.¹ Tarjan, R.E.²

22
- 0041525084
- From system F to typed assembly language
- May
- (1999) ACM Trans. Prog. Lang. and Sys. , vol.23 , Issue.3 , pp. 528-569
- Morrisett, G.¹ Walker, D.² Crary, K.³ Glew, N.⁴

23
- 0030685617
- Proof-carrying code
- Paris, France, Jan.
- (1997) POPL '97
- Necula, G.C.¹

24
- 0003508112
- Pascal-P implementation notes
- D. W. Barron, editor, John Wiley and Sons, Ltd.
- (1981) Pascal - The Language and its Implementation , pp. 125-170
- Nori, K.V.¹ Ammann, U.²

25
- 0030685619
- Pizza into Java: Translating theory into practice
- Paris, France, 15-17 Jan.
- (1997) Conference Record of POPL '97 , pp. 146-159
- Odersky, M.¹ Wadler, P.²

26
- 0001228239
- Linear scan register allocation
- September
- (1999) ACM Trans. Prog. Lang. and Sys. , vol.21 , Issue.5 , pp. 895-913
- Poletto, M.¹ Sarkar, V.²

27
- 0003592369
- The swift Java compiler: Design and implementation
- Compaq Research, April
- (2000) WRL Research Report , vol.2000 , Issue.2
- Scales, D.J.¹ Randall, K.H.² Ghemawat, S.³ Dean, J.⁴

28
- 0029181880
- A linear time algorithm for placing [phi]-nodes
- ACM, editor, New York, NY 10036, USA, ACM Press
- (1995) Conference record of POPL '95 , pp. 62-73
- Sreedhar, V.C.¹ Gao, G.R.²

29
- 4243549999
- Technical report, ETH Zürich, Nov.
- (2000) Java bytecode verification is not possible
- Stärk, R.F.¹ Schmid, J.²

30
- 0028442958
- Decomposed software pipelining: A new perspective and a new approach
- June
- (1994) International Journal of Parallel Programming , vol.22 , Issue.3 , pp. 351-373
- Wang, J.¹ Eisenbeis, C.² Jourdan, M.³ Su, B.⁴

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