SCOPUS 정보 검색 플랫폼

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2002, Pages 453-463

Assuring and evolving concurrent programs: Annotations and policy

(2) Greenhouse, Aaron a Scherlis, William L a

a Carnegie Mellon University (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCURRENCY CONTROL; COST BENEFIT ANALYSIS; JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; STORAGE ALLOCATION (COMPUTER);

JAVA-STYLE CONCURRENT PROGRAM;

COMPUTER SOFTWARE;

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

Times cited : (27)

References (36)

1
- 84881389398
- Language features for process interaction
- In D. B. Wortman, editor; ACM Press, Mar.
- (1977) ACM Conf. on Lang. Design for Reliable Softw.
- Andrews, G.R.¹ McGraw, J.R.²

2
- 0005254504
- Apache Software Foundation. Log4j project; Current Jan.
- (2002)

3
- 0034450019
- Guava: A dialect of Java without data races
- ACM Press, Oct.
- (2000) OOPSLA '00
- Bacon, D.F.¹ Strom, R.E.² Tarafdar, A.³

4
- 0004104224
- Addison-Wesley
- (2001) Effective Java Programming Language Guide
- Bloch, J.¹

5
- 0005365269
- Proposed final draft, JSR-41: A simple assertion facility for the Java programming language
- June; Current Jan. 2002
- (2001)
- Bloch, J.¹

6
- 0003547470
- Addison-Wesley
- (1999) The Unified Modeling Language User Guide
- Booch, G.¹ Rumbaugh, J.² Jacobson, I.³

7
- 0035551906
- A parameterized type system for race-free Java programs
- ACM Press, Nov.
- (2001) OOPSLA '01
- Boyapati, C.¹ Rinard, M.²

8
- 0035335990
- Alias burying: Unique variables without destructive reads
- May
- (2001) Softw. Pract. and Exper. , vol.31 , Issue.6
- Boyland, J.¹

9
- 0011820580
- The specification of process synchronization by path expressions
- In E. Gelenbe and C. Kaiser, editors; Springer, Apr.
- (1974) Oper. Syst. Symposium
- Campbell, R.H.¹ Habermann, A.N.²

10
- 0031597163
- Promises: Limited specifications for analysis and manipulation
- IEEECS
- (1998) ICSE '98
- Chan, E.C.¹ Boyland, J.T.² Scherlis, W.L.³

11
- 0004100583
- Ownership types for flexible alias protection
- ACM Press, Oct.
- (1998) OOPSLA '98
- Clarke, D.G.¹ Potter, J.M.² Noble, J.³

12
- 0034826554
- Enforcing high-level protocols in low-level software
- ACM Press, May
- (2001) PLDI '01
- DeLine, R.¹ Fähndrich, M.²

13
- 0004207324
- Extended static checking
- Research Report 159, Compaq SRC, Dec.
- (1998)
- Detlefs, D.L.¹ Leino, K.R.M.² Nelson, G.³ Saxe, J.B.⁴

14
- 85011293817
- LCLint: A total for using specifications to check code
- ACM Press, Dec.
- (1994) FSE '94
- Evans, D.¹ Guttag, J.² Horning, J.³ Tan, Y.M.⁴

15
- 0000423444
- Object types against races
- In J. C. M. Baeten and S. Maw, editors; Springer
- (1999) CONCUR '99
- Flanagan, C.¹ Abadi, M.²

16
- 33646729837
- Types for safe locking
- In S. D. Swierstra, editor; Springer
- (1999) ESOP '99
- Flanagan, C.¹ Abadi, M.²

17
- 0034446877
- Type-based race detection for Java
- ACM Press, May
- (2000) PLDI '00
- Flanagan, C.¹ Freund, S.N.²

18
- 0034819383
- Detecting race conditions in large programs
- ACM Press, June
- (2001) PASTE '01
- Flanagan, C.¹ Freund, S.N.²

19
- 0001803032
- ACME: An architectural description interchange language
- Nov.
- (1997) CASCON '97
- Garlan, D.¹ Monroe, R.T.² Wile, D.³

20
- 85034996698
- Integrating functional and imperative programming
- ACM Press
- (1986) 1986 Conf. on Lisp and Func. Program
- Gifford, D.K.¹ Lucassen, J.M.²

21
- 0005299913
- Bug 1507: Improper synchronization in AsyncAppender and category causes race conditions
- Apr.; Current Jan. 2002
- (2001)
- Greenhouse, A.¹

22
- 0005284469
- An object-oriented effects system
- In R. Guerraoui, editor; Springer
- (1999) ECOOP '99
- Greenhouse, A.¹ Boyland, J.²

23
- 0005456280
- Towards a theory of parallel programming
- In C. A. R. Hoare and R. H. Perrot, editors; Academic Press
- (1971) Oper. Syst. Techniques
- Hoare, C.A.R.¹

24
- 0019025562
- The 'Hoare logic' of concurrent programs
- (1980) Acta Inf. , vol.14 , Issue.1
- Lamport, L.¹

25
- 0003719376
- Addison-Wesley, second edition
- (1999) Concurrent Programming in Java
- Lea, D.¹

26
- 0000913573
- JML: A notation for detailed design
- In H. Kilov, B. Rumpe, and I. Simmonds, editors; Kluwer
- (1999) Behavioral Specifications of Businesses and Systems
- Leavens, G.T.¹ Baker, A.L.² Ruby, C.³

27
- 0001937312
- Data groups: Specifying the modification of extended state
- ACM Press, Oct.
- (1998) OOPSLA '98
- Leino, K.R.M.¹

28
- 0004111037
- Technical Note 2000-002, Compaq SRC, Oct.
- (2000) ESC/Java User's Manual
- Leino, K.R.M.¹ Nelson, G.² Saxe, J.B.³

29
- 0002651187
- Concurrency annotations for reusable software
- Sept.
- (1993) Commun. ACM , vol.36 , Issue.9
- Löhr, K.-P.¹

30
- 0003466942
- Types and effects: Towards the integration of functional and imperative programming
- PhD thesis, MIT, Sept.
- (1987)
- Lucassen, J.M.¹

31
- 0003578795
- Prentice-Hall, 2nd edition
- (1997) Object-Oriented Software Construction
- Meyer, B.¹

32
- 0034448305
- Exclusion for composite objects
- ACM Press, Oct.
- (2000) OOPSLA '00
- Noble, J.¹ Holmes, D.² Potter, J.³

33
- 0017173886
- An axiomatic proof technique for parallel programs I
- (1976) Acta Inf. , vol.6 , Issue.4
- Owicki, S.¹ Gries, D.²

34
- 0005257214
- Systematic change of data representation: Program manipulations and a case study
- In C. Hankin, editor; Springer
- (1998) ESOP '98
- Scherlis, W.L.¹

35
- 84976783965
- Synchronizing shared abstract types
- Aug.
- (1984) ACM Trans. Comput. Syst. , vol.2 , Issue.3
- Schwarz, P.M.¹ Spector, A.Z.²

36
- 0002206679
- The Hungarian revolution
- Aug.
- (1991) Byte , vol.16 , Issue.8
- Simonyi, C.¹ Heller, M.²

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