Rules for Type-checking of Parametric Polymorphism in EMF Generics
| dc.contributor.author | Garcia, Miguel | |
| dc.contributor.editor | Böttinger, Stefan | |
| dc.contributor.editor | Theuvsen, Ludwig | |
| dc.contributor.editor | Rank, Susanne | |
| dc.contributor.editor | Morgenstern, Marlies | |
| dc.date.accessioned | 2019-05-15T09:37:57Z | |
| dc.date.available | 2019-05-15T09:37:57Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametric polymorphism (also known as "parameterized types" or "generics") thus achieving the same benefits realized in other generic type systems (most notably, Java 5). To our knowledge, this is the first formal account in the literature of the resulting type system, including the well-formedness rules (WFRs) for type expressions. We offer an initial formalization of the type system of EMF Generics by formulating those WFRs in OCL (Object Constraint Language). The insights thus gained are applicable to solve the type-checking problem for custom DSLs (Domain Specific Languages). | en |
| dc.identifier.isbn | 978-3-88579-200-0 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/22715 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | Software Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-106 | |
| dc.title | Rules for Type-checking of Parametric Polymorphism in EMF Generics | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 270 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 261 | |
| gi.conference.date | 27.-30.03.2007 | |
| gi.conference.location | Hamburg | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1