SCOPUS 정보 검색 플랫폼

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

Volumn , Issue , 2000, Pages 219-232

Type-based race detection for Java

(2) Flanagan, C a Freund, S N b

a HEWLETT PACKARD COMPANY (United States)

b Stanford University (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE; EMBEDDED SYSTEMS; INPUT OUTPUT PROGRAMS; MULTITASKING; WEBSITES;

CLIENT-SIDE SYNCHRONIZATION; INTERNAL SYNCHRONIZATION; MULTITHREADED JAVA PROGRAM; STATIC RACE DETECTION ANALYSIS;

JAVA PROGRAMMING LANGUAGE;

EID: 0034446877 PISSN: None EISSN: None Source Type: Journal
DOI: 10.1145/358438.349328 Document Type: Article

Times cited : (252)

References (34)

1
- 0002110323
- Static analyses for eliminating unnecessary synchronization from Java programs
- Proceedings of the Sixth International Static Analysis Symposium, September 1999
- Aldrich, J.¹ Chambers, C.² Sirer, E.G.³ Eggers, S.⁴

2
- 0031250932
- Adding type parameterization to the Java language
- Proceedings of ACM Conference on Object Oriented Languages and Systems, October 1997
- Agesen, O.¹ Freund, S.N.² Mitchell, J.C.³

3
- 0031648687
- Barrier inference
- (1998) Proceedings of the 25th Symposium on Principles of Programming Languages , pp. 243-354
- Aiken, A.¹ Gay, D.²

4
- 0031534035
- Type and behaviour reconstruction for higher-order concurrent programs
- (1997) Journal of Functional Programming , vol.7 , Issue.3 , pp. 321-347
- Amtoft, T.¹ Nielson, F.² Nielson, H.R.³

5
- 35248829288
- Removing unnecessary synchronization in Java
- Proceedings of ACM Conference on Object Oriented Languages and Systems, November 1999
- Bogda, J.¹ Hölzle, U.²

6
- 0004290213
- An introduction to programming with threads
- Digital Equipment Corporation Systems Research Center
- (1989) Research Report 35
- Birrell, A.D.¹

7
- 0033203805
- Escape analysis for object-oriented languages. Application to Java
- Proceedings of ACM Conference on Object Oriented Languages and Systems, November 1999
- Blanchet, B.¹

8
- 0005099183
- Parameterized types and Java
- Massachussetts Institute of Technology
- (1996) Technical Report MIT/LCS/TM-553
- Bank, J.¹ Liskov, B.² Myers, A.³

9
- 84947901850
- Making the future safe for the past: Adding genericity to the Java programming language
- Proceedings of ACM Conference on Object Oriented Languages and Systems, October 1998
- Bracha, G.¹ Odersky, M.² Stoutamire, D.³ Wadler, P.⁴

10
- 0003757373
- Mobile ambient synchronization
- Digital Systems Research Center, Palo Alto, CA, July
- (1997) Technical Report 1997-013
- Cardelli, L.¹

11
- 35248818017
- Escape analysis for Java
- Proceedings of ACM Conference on Object Oriented Languages and Systems, November 1999
- Choi, J.D.¹ Gupta, M.² Serrano, M.³ Sreedhar, V.C.⁴ Midkiff, S.⁵

12
- 0012686903
- Compatible genericity with run-time types for the Java programming language
- Proceedings of ACM Conference on Object Oriented Languages and Systems, October 1998
- Cartwright, R.¹ Steele, G.L.²

13
- 84904976897
- Java is type safe - Probably
- (1997) European Conference on Object Oriented Programming , pp. 389-418
- Drossopoulou, S.¹ Eisenbach, S.²

14
- 0004207324
- Extended static checking
- Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, USA, December
- (1998) Research Report 159
- Detlefs, D.L.¹ Rustan, K.² Leino, M.³ Nelson, G.⁴ Saxe, J.B.⁵

15
- 85007647754
- Object types against races
- Proceedings of CONCUR, August 1999
- Flanagan, C.¹ Abadi, M.²

16
- 0005310313
- Types for safe locking
- Proceedings of European Symposium on Programming, March 1999
- Flanagan, C.¹ Abadi, M.²

17
- 0031674984
- Classes and mixins
- January
- (1998) Proc. 25th ACM Symposium on Principles of Programming Languages , pp. 171-183
- Flatt, M.¹ Krishnamurthi, S.² Felleisen, M.³

18
- 0003518498
- Addison-Wesley
- (1996) The Java Language Specification
- Gosling, J.¹ Joy, B.² Steele, G.³

19
- 0033203773
- Featherweight Java: A minimal core calculus for Java and GJ
- Proceedings of ACM Conference on Object Oriented Languages and Systems, November 1999
- Igarishi, A.¹ Pierce, B.² Wadler, P.³

20
- 0005034645
- (1998) Java Developers Kit, Version 1.1

21
- 85030052649
- Algebraic reconstruction of types and effects
- (1991) Proceedings of the 18th Symposium on Principles of Programming Languages , pp. 303-310
- Jouvelot, P.¹ Gifford, D.²

22
- 0000298074
- WebL - A programming language for the web
- April
- (1998) Computer Networks and ISDN Systems , vol.30 , pp. 259-270
- Kistler, T.¹ Marais, J.²

23
- 85030037503
- Polymorphic effect systems
- (1988) Proceedings of the ACM Conference on Lisp and Functional Programming , pp. 47-57
- Lucassen, J.M.¹ Gifford, D.K.²

24
- 0003642669
- Checking Java programs via guarded commands
- Compaq Systems Research Center, Palo Alto, CA, May; note
- (1999) Technical Report 1999-002
- Rustan, K.¹ Leino, M.² Saxe, J.B.³ Stata, R.⁴

25
- 0000771813
- Annotated type and effect systems
- Invited position statement for the Symposium on Models of Programming Languages and Computation
- (1996) ACM Computing Surveys , vol.28 , Issue.2 , pp. 344-345
- Nielson, F.¹

26
- 0031704303
- light is type-safe - definitely
- Proc. 25th ACM Symposium on Principles of Programming Languages, January 1998
- Nipkow, T.¹ Von Oheimb, D.²

27
- 0030685619
- Pizza into Java: Translating theory into practice
- Proc. 24th ACM Symposium on Principles of Programming Languages, January 1997
- Odersky, M.¹ Wadler, P.²

28
- 0031272525
- Eraser: A dynamic data race detector for multi-threaded programs
- (1997) ACM Transactions on Computer Systems , vol.15 , Issue.4 , pp. 391-411
- Savage, S.¹ Burrows, M.² Nelson, G.³ Sobalvarro, P.⁴ Anderson, T.E.⁵

29
- 0003081294
- Warlock: A static data race analysis tool
- (1993) USENIX Winter Technical Conference , pp. 97-106
- Sterling, N.¹

30
- 0003747398
- Proving Java type soundness
- University of Cambridge Computer Laboratory Technical Report
- (1997) Technical Report 427
- Syme, D.¹

31
- 84974191759
- Polymorphic type, region and effect inference
- (1992) Journal of Functional Programming , vol.2 , Issue.3 , pp. 245-271
- Talpin, J.-P.¹ Jouvelot, P.²

32
- 0028015018
- Implementation of the typed call-by-value lambda-calculus using a stack of regions
- (1994) Proceedings of the 21st Symposium on Principles of Programming Languages , pp. 188-201
- Tofte, M.¹ Talpin, J.-P.²

33
- 0002997049
- Region-based memory management
- (1997) Information and Computation , vol.132 , Issue.2 , pp. 109-176
- Tofte, M.¹ Talpin, J.-P.²

34
- 85046529784
- Compositional pointer and escape analysis for Java programs
- Proceedings of ACM Conference on Object Oriented Languages and Systems, November 1999
- Whaley, J.¹ Rinard, M.²

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