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

메뉴 건너뛰기

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 342-352

Equality and hashing for (almost) free: Generating implementations from abstraction functions

(6) Rayside, Derek a Benjamin, Zev a Singh, Rishabh a Near, Joseph P a Milicevic, Aleksandar a Jackson, Daniel a

a MASSACHUSETTS INSTITUTE OF TECHNOLOGY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LIBRARY CODES; OBJECT-ORIENTED LANGUAGES; SUBCLASSING; WRITING CODES;

ABSTRACTING; COMPUTER SOFTWARE; OBJECT ORIENTED PROGRAMMING;

JAVA PROGRAMMING LANGUAGE;

EID: 77949895973 PISSN: 02705257 EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/ICSE.2009.5070534 Document Type: Conference Paper

Times cited : (15)

References (19)

1
- 77949903689
- 6 Report on the Algorithmic Language Scheme, September 2007. URL http://r6rs.org.
- 6 Report on the Algorithmic Language Scheme, September 2007. URL http://r6rs.org.

2
- 84949217590
- Deep equality revisited
- T.W. Ling, A.O. Mendelzon, and L. Vieille, editors, Deductive and Object-Oriented Databases, of
- Serge Abiteboul and Jan Van Bussche. Deep equality revisited. In T.W. Ling, A.O. Mendelzon, and L. Vieille, editors, Deductive and Object-Oriented Databases, volume 1013 of LNCS, pages 213-228, 1995.
- (1995) LNCS , vol.1013 , pp. 213-228
- Abiteboul, S.¹ Van Bussche, J.²

3
- 0037374193
- Kava: A Java dialect with a uniform object model for lightweight classes
- March-April, doi: 10.1002/cpe.653
- David F. Bacon. Kava: A Java dialect with a uniform object model for lightweight classes. Concurrency - Practice and Experience, 15(3-5):185-206, March-April 2003. doi: 10.1002/cpe.653.
- (2003) Concurrency - Practice and Experience , vol.15 , Issue.3-5 , pp. 185-206
- Bacon, D.F.¹

4
- 34248160938
- The DaCapo benchmarks: Java benchmarking development and analysis
- Peri Tarr and William R. Cook, editors, October
- st OOPSLA, October 2006.
- (2006) st OOPSLA
- Blackburn, S.M.¹ Garner, R.² Hoffman, C.³ Khan, A.M.⁴ McKinley, K.S.⁵ Bentzur, R.⁶ Diwan, A.⁷ Feinberg, D.⁸ Frampton, D.⁹ Guyer, S.Z.¹⁰ Hirzel, M.¹¹ Hosking, A.¹² Jump, M.¹³ Lee, H.¹⁴ Moss, J.E.B.¹⁵ Phansalkar, A.¹⁶ Stefanović, D.¹⁷ VanDrunen, T.¹⁸ von Dincklage, D.¹⁹ Wiedermann, B.²⁰ more..

5
- 18744411658
- Addison-Wesley
- Joshua Bloch. Effective Java. Addison-Wesley, 2001.
- (2001) Effective Java
- Bloch, J.¹

6
- 0004207324
- Compaq, Systems Research Center
- D.L. Detlefs, K.R.M. Leino, G. Nelson, and J.B. Saxe. Extended Static Checking. Compaq, Systems Research Center, 1998.
- (1998) Extended Static Checking
- Detlefs, D.L.¹ Leino, K.R.M.² Nelson, G.³ Saxe, J.B.⁴

7
- 37849010680
- Finding bugs efficiently with a SAT solver
- Ivica Crnkovic and Antonia Bertolino, editors, Dubrovnik, Croatia, September
- th ESEC/FSE, pages 195-204, Dubrovnik, Croatia, September 2007.
- (2007) th ESEC/FSE , pp. 195-204
- Dolby, J.¹ Vaziri, M.² Tip, F.³

8
- 84957809056
- Copying and comparing: Problems and solutions
- th ECOOP, of, Cannes, France, June
- th ECOOP, volume 1850 of LNCS, pages 226-250, Cannes, France, June 2000.
- (2000) LNCS , vol.1850 , pp. 226-250
- Grogono, P.¹ Sakkinen, M.²

9
- 85035137140
- Proof of correctness of data representation
- Friedrich L. Bauer and Klaus Samelson, editors, Language Hierarchies and Interfaces, of, ISBN 3-540-07994-7
- C. A. R. Hoare. Proof of correctness of data representation. In Friedrich L. Bauer and Klaus Samelson, editors, Language Hierarchies and Interfaces, volume 46 of LNCS, pages 183-193, 1975. ISBN 3-540-07994-7.
- (1975) LNCS , vol.46 , pp. 183-193
- Hoare, C.A.R.¹

10
- 79951744451
- Finding bugs is easy
- Geoff Cohen, editor, Vancouver, British Columbia, Canada, October
- David Hovemeyer and William Pugh. Finding bugs is easy. In Geoff Cohen, editor, Proc.OOPSLA Onward!, Vancouver, British Columbia, Canada, October 2004.
- (2004) Proc.OOPSLA Onward
- Hovemeyer, D.¹ Pugh, W.²

11
- 0004176640
- Prentice-Hall, Inc
- Cliff B. Jones. Systematic Software Development Using VDM. Prentice-Hall, Inc., 1990.
- (1990) Systematic Software Development Using VDM
- Cliff, B.¹ Jones²

12
- 37149027297
- A behavioral interface specification language for Java
- Preliminary design of JML:, Technical Report 98-06u, Iowa State University, April, URL
- Gary T. Leavens, Albert L. Baker, and Clyde Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06u, Iowa State University, April 2003. URL http://www.jmlspecs.org.
- (2003)
- Leavens, G.T.¹ Baker, A.L.² Ruby, C.³

13
- 0004065860
- MIT Press, ISBN 978-0262121125
- Barbara Liskov and John Guttag. Abstraction and Specification in Program Development. MIT Press, 1986. ISBN 978-0262121125.
- (1986) Abstraction and Specification in Program Development
- Liskov, B.¹ Guttag, J.²

14
- 0004198444
- Prentice-Hall, Inc
- Bertrand Meyer. Eiffel: the language. Prentice-Hall, Inc., 1992.
- (1992) Eiffel: The language
- Meyer, B.¹

15
- 77949881960
- Microsoft Research. The F# 1.9.6 Draft Language Specification, September 2008.
- Microsoft Research. The F# 1.9.6 Draft Language Specification, September 2008.

16
- 77949911308
- Martin Odersky, Lex Spoon, and Bill Venners. Programming in Scala. Artima, November 2008.
- Martin Odersky, Lex Spoon, and Bill Venners. Programming in Scala. Artima, November 2008.

17
- 34548785574
- Feedback-directed random test generation
- Wolfgang Emmerich and Gregg Rothermel, editors, Minneapolis, MN
- th ICSE, Minneapolis, MN, 2007.
- (2007) th ICSE
- Pacheco, C.¹ Lahiri, S.K.² Ernst, M.D.³ Ball, T.⁴

18
- 0442285313
- December, URL onlinereport
- Simon Peyton Jones. Haskell 98 Language and Libraries, Revised Report, December 2002. URL http://www.haskell.org/onlinereport/.
- (2002) Haskell 98 Language and Libraries, Revised Report
- Peyton Jones, S.¹

19
- 38149009770
- Declarative object identity using relation types
- st ECOOP, of, Berlin, Germany, July, ISBN 978-3-540-73588-5
- st ECOOP, volume 4609 of LNCS, pages 54-78, Berlin, Germany, July 2007. ISBN 978-3-540-73588-5.
- (2007) LNCS , vol.4609 , pp. 54-78
- Vaziri, M.¹ Tip, F.² Fink, S.³ Dolby, J.⁴

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