SCOPUS 정보 검색 플랫폼

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09

Volumn , Issue , 2009, Pages 131-140

Improving type error messages for generic java

(2) Boustani, Nabil El a Hage, Jurriaan a

a UTRECHT UNIVERSITY (Netherlands)

Author keywords

Compilers; Error reporting; Java generics; Type Checking

Indexed keywords

COMPILERS; ERROR MESSAGES; GENERIC JAVA; GENERIC METHOD; INCLUSION POLYMORPHISM; JAVA COMPILERS; JAVA GENERICS; JAVA LANGUAGE; NOVICE PROGRAMMER; PARAMETRIC POLYMORPHISM; TYPE CHECKING; TYPE ERROR MESSAGES; TYPE INFERENCES; TYPING RULES;

COMPUTER SOFTWARE; LINGUISTICS; OBJECT ORIENTED PROGRAMMING; POLYMORPHISM; PROGRAM COMPILERS;

JAVA PROGRAMMING LANGUAGE;

EID: 67650665755 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/1480945.1480964 Document Type: Conference Paper

Times cited : (6)

References (13)

1
- 85027597145
- Principal type schemes for functional programs
- L. Damas and R. Milner. Principal type schemes for functional programs. In Principles of Programming Languages (POPL '82), pages 207-212, 1982.
- (1982) Principles of Programming Languages (POPL '82) , pp. 207-212
- Damas, L.¹ Milner, R.²

2
- 69949167476
- T. Ekman and G. Hedin. JastAdd Extensible Java Compiler. http://jastadd.cs.lth.se/web/extjava.
- JastAdd Extensible Java Compiler
- Ekman, T.¹ Hedin, G.²

3
- 67650685312
- El Boustani N.
- N. el Boustani. Improving type error messages for generic java. http://www.cs.uu.nl/wiki/Hage/MasterStudents.
- Improving Type Error Messages for Generic Java

4
- 0003518498
- Addison-Wesley Professional, third edition,July
- J. Gosling, B. Joy, G. Steele, and G. Bracha. Java Language Specification. Addison-Wesley Professional, third edition, July 2005.
- (2005) Java Language Specification
- Gosling, J.¹ Joy, B.² Steele, G.³ Bracha, G.⁴

5
- 38049153096
- Heuristics for type error discovery and recovery
- In Z. Horváth, V. Zsók, and A. Butterfield, editors, Heidelberg, Springer Verlag
- J. Hage and B. Heeren. Heuristics for type error discovery and recovery. In Z. Horváth, V. Zsók, and A. Butterfield, editors, Implementation of Functional Languages - IFL 2006, volume 4449, pages 199 - 216, Heidelberg, 2007. Springer Verlag.
- (2007) Implementation of Functional Languages - IFL 2006 , vol.4449 , pp. 199-216
- Hage, J.¹ Heeren, B.²

6
- 0037374916
- JastAdd - An aspect-oriented compiler construction system
- DOI 10.1016/S0167-6423(02)00109-0, PII S0167642302001090
- G. Hedin and E. Magnusson. The JastAdd system - an aspect-oriented compiler construction system. Science of Computer Programming, 47(1):37-58, April 2003. http://www.cs.lth.se/ gorel/publications/2003-JastAdd-SCP-Preprint. pdf. (Pubitemid 35350225)
- (2003) Science of Computer Programming , vol.47 , Issue.1 , pp. 37-58
- Hedin, G.¹ Magnusson, E.²

7
- 34247357840
- PhD thesis Universiteit Utrecht The Netherlands
- B. Heeren. Top Quality Type Error Messages. PhD thesis, Universiteit Utrecht, The Netherlands, 2005. http://www.cs.uu.nl/people/bastiaan/phdthesis.
- (2005) Top Quality Type Error Messages
- Heeren, B.¹

8
- 34247332143
- A first look at novice compilation behaviour using BlueJ
- March
- M. C. Jadud. A first look at novice compilation behaviour using BlueJ. Computer Science Education, 15(1):25-40, March 2005.
- (2005) Computer Science Education , vol.15 , Issue.1 , pp. 25-40
- Jadud, M.C.¹

9
- 62949136000
- A generalization of hybrid let-polymorphic type inference algorithms
- National university of Singapore, Singapore, December
- O. Lee and K. Yi. A generalization of hybrid let-polymorphic type inference algorithms. In Proceedings of the First Asian Workshop on Programming Languages and Systems, pages 79-88, National university of Singapore, Singapore, December 2000.
- (2000) Proceedings of the First Asian Workshop on Programming Languages and Systems , pp. 79-88
- Lee O¹ Yi, K.²

10
- 0018105622
- THEORY OF TYPE POLYMORPHISM IN PROGRAMMING.
- DOI 10.1016/0022-0000(78)90014-4
- R. Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348-375, 1978.
- (1978) Journal of Computer and System Sciences , vol.17 , Issue.3 , pp. 348-375
- Milner, R.¹

11
- 63549106936
- Java type inference is broken: Can we fix it?
- New York, NY, USA,ACM
- D. Smith and R. Cartwright. Java type inference is broken: Can we fix it? In Proceedings of the 23rd Conference on Object-oriented programming, systems, languages, and applications (OOPSLA '08), pages 505-524, New York, NY, USA, 2008. ACM.
- (2008) Proceedings of the 23rd Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '08) , pp. 505-524
- Smith, D.¹ Cartwright, R.²

12
- 2442424346
- Adding wildcards to the Java programming language
- New York, NY, USA,ACM Press
- M. Torgersen, C. Plesner Hansen, E. Ernst, P. von der Ahé, G. Bracha, and N. Gafter. Adding wildcards to the Java programming language. In Proceedings of the 2004 ACM Symposium on Applied Computing (SAC '04), pages 1289-1296, New York, NY, USA, 2004. ACM Press.
- In Proceedings of the 2004 ACM Symposium on Applied Computing (SAC '04) , vol.2004 , pp. 1289-1296
- Torgersen, M.¹ Hansen, C.P.² Ernst, E.³ Von Der Ahé, P.⁴ Bracha, G.⁵ Gafter, N.⁶

13
- 0003067236
- Explaining type errors by finding the sources of type conflicts
- In Greg Michaelson, Phil Trinder, and Hans-Wolfgang Loidl, editors, Intellect Books
- J. Yang. Explaining type errors by finding the sources of type conflicts. In Greg Michaelson, Phil Trinder, and Hans-Wolfgang Loidl, editors, Trends in Functional Programming, pages 58-66. Intellect Books, 2000.
- (2000) Trends in Functional Programming , pp. 58-66
- Yang, J.¹

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