Rules for Type-checking of Parametric Polymorphism in EMF Generics

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-106, Issue , 2007, Pages 261-270

  Garcia, Miguel ^a  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM ORIENTED LANGUAGES;

DOMAINS SPECIFIC LANGUAGES; FORMALISATION; GENERIC TYPES; METAMODELING; OBJECT CONSTRAINT LANGUAGE; PARAMETERIZED TYPES; PARAMETRIC POLYMORPHISM; TYPE SYSTEMS; TYPECHECKING; WELL-FORMEDNESS RULES;

POLYMORPHISM;

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

References (17)

1. Bruce, K. B. Foundations of Object-Oriented Languages: Types and Semantics. MIT Press, Cambridge, MA, USA, 2002.
2. Budinsky, F, Steinberg, D, Merks, E, Ellersick, R, and Grose, T. J. Eclipse Modeling Framework. Addison-Wesley Professional, Boston, MA, USA, 2003.
3. Campbell, C, Grieskamp, W, Nachmanson, L, Schulte, W, Tillmann, N, and Veanes, M. Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Technical Report MSR-TR-2005-59, Microsoft Research, 2005.
4. Daly, C. Emfatic Language for EMF Development, http://www.alphaworks.ibm.com/tech/emfatic, 2005.
5. Fuhrer, R. Dagsthul Seminar Types for Tools, Static Analysis for Java in Eclipse, http://kathrin.dagstuhl.de/files/Materials/05/05251/05251.FuhrerRobert1.Slides.ppt, 2005.
6. Garcia, M. Formalizing the well-formedness rules of EJB3QL in UML + OCL. In Kühne, T, editor, Reports and Revised Selected Papers, Workshops and Symposia at MoDELS 2006, Genoa, Italy, LNCS 4364, pages 66-75. Springer-Verlag, 2006.
7. Gilmore, S. Programming in Standard ML'97: A Tutorial Introduction. Technical Report ECS-LFCS-97-364, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997.
8. Gosling, J, Joy, B, Steele, G, and Bracha, G. Java(TM) Language Specification, The (3rd Edition) (Java Series). Addison-Wesley Professional, July 2005.
9. Gordon, M. J. C. Mechanizing programming logics in Higher Order Logic. In Current trends in hardware verification and automated theorem proving, pages 387-439, New York, NY, USA, 1989. Springer-Verlag New York, Inc.
10. Kiezun, A., Ernst, M. D., Tip, F, and Fuhrer, R. M. Refactoring for parameterizing Java classes. In ICSE'07, Proceedings of the 29th International Conference on Software Engineering, Minneapolis, MN, USA, May 23-25, 2007.
11. Kyas, M. An extended type-system for OCL supporting templates and transformations. In M. Steffen and Gianluigi Zavattaro (Eds), Formal Methods for Open Object-Based Distributed Systems (FMOODS 2005), Lecture Notes in Computer Science, number 3535, pages 83-98. Springer-Verlag, 2005.
12. Lamport, L. The +CAL Algorithm Language. In NCA'06: Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, page 5, Washington, DC, USA, 2006. IEEE Computer Society.
13. Meyer, B, Mingins, C, and Schmidt, H. Providing Trusted Components to the Industry. Computer, 31(5):104-105, 1998.
14. Object Management Group. Meta Object Facility (MOF) Core Specification, formal/06-01-01, http://www.omg.org/docs/formal/06-01-01.pdf, Jan 2006.
15. Oheimb, D. v and Nipkow, T. Machine-checking the Java Specification: Proving Type-Safety. In Alves-Foss, J, editor, Formal Syntax and Semantics of Java, volume 1523 of LNCS, pages 119-156. Springer, 1999. http://isabelle.in.tum.de/Bali/papers/Springer98.html.
16. Plümicke, M and Bäuerle, J. Typeless programming in Java 5.0. In PPPJ'06: Proceedings of the 4th international symposium on Principles and practice of programming in Java, pages 175-181, New York, NY, USA, 2006. ACM Press.
17. Raistrick, C, Francis, P, Wright, J, Carter, C, and Wilkie, I. Model Driven Architecture with Executable UML. Cambridge University Press, Cambridge, UK, 2004.