Veröffentlichungen/Publications

2023

• Martin Plümicke, Daniel Holle, Principal generics in Java-TX (pdf)
  In Proceedings of the 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'23) , pages 122-143, 25.-27. September 2023 in Vaals, Niederlande
• Daniel Holle, Martin Plümicke, Java-TX Eclipse-Plugin (pdf)
  In Proceedings of the 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'23) , pages 77-91, 25.-27. September 2023 in Vaals, Niederlande
• Andreas Stadelmeier, Martin Plümicke, Type Inference for Java: Unification of Type Constraints Involving Existential Types (pdf)
  In Proceedings of the 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'23) , pages 159-174, 25.-27. September 2023 in Vaals, Niederlande
• Optimization of the Java Type Unification (pdf)
  At the 37th Workshop on (Constraint) Logic Programming, WLP 2023, Berlin, Germany, September 26, 2023

2022

• Martin Plümicke, Etienne Zink: Java-TX: The language (pdf)
  In INSIGHTS – Schriftenreihe der Fakultät Technik der DHBW Stuttgart, 01/2022
• Andreas Stadelmeier, Martin Plümicke, Peter Thiemann, Global Type Inference for Featherweight Generic Java (pdf, Long version, arxiv)
  In Proceedings of the 36th European Conference on Object-Oriented Programming (ECOOP 2022), pages 28:1–28:27 (June 6 - July 7, 2022)
  
• Andreas Stadelmeier, Martin Plümicke, Peter Thiemann, Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact)
  In Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022), pages 18:1–18:4 (June 6 - July 7, 2022)
  

2021

• Martin Plümicke, Principal set of generated generics in Java-TX (pdf)
  In Proceedings of the 37. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", (to appear) (3. - 5. Mai 2021, virtuell via Zoom)
• Andreas Stadelmeier, Martin Plümicke, Typinferenz für Featherweight Java (pdf)
  In Proceedings of the 37. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", (to appear) (3. - 5. Mai 2021, virtuell via Zoom)
• Till Schnell, Martin Plümicke, Java ohne Wildcards (pdf)
  In Proceedings of the 37. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", (to appear) (3. - 5. Mai 2021, virtuell via Zoom)
• Andreas Stadelmeier, Martin Plümicke, Generalizing Java Type Inference - Adding bounded type variables to unification output (pdf)
  In Proceedings of the 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'21) , pages 82-98, 27.-29. September 2021 in Kiel, Deutschland
• Etienne Zink, Martin Plümicke, Heterogene Übersetzung von echtenFunktionstypen in Java-TX (pdf)
  In Proceedings of the 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'21) , pages 126-138, 27.-29. September 2021 in Kiel, Deutschland

2019

• Martin Plümicke, Java-TX: The Language (pdf)
  In Proceedings of the 36. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", pages 11-23 (6. - 8. Mai 2019, Bad Honnef)
• Martin Plümicke, Fayez Abu Alia (Hrsg.), 20. Kolloquium Programmiersprachenund Grundlagen der Programmierung KPS 2019 Tagungsband (pdf)
  of the 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'19), 23.-25. September 2019 in Baiersbronn (Baden-Württemberg), Deutschland
• Fayez Abu Alia and Martin Plümicke, Minimal set of generated generics in Java-TX (pdf)
  In Proceedings of the 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'19) , pages 1-14, 23.-25. September 2019 in Baiersbronn (Baden-Württemberg), Deutschland
• Martin Plümicke, Von Pizza zu Java–TX (pdf)
  In Proceedings of the 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'19) , pages 129-140, 23.-25. September 2019 in Baiersbronn (Baden-Württemberg), Deutschland

2018

• Martin Plümicke, Optimization of the Java type unification (pdf)
  In Proceedings of the 35. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" (2. - 4. Mai 2018, Bad Honnef)
• Jan-Elric Neumann and Martin Plümicke, Model-Driven Development im Java-TX Projekt (pdf)
  In Proceedings of the 34. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" (8. - 10. Mai 2017, Bad Honnef)
• Florian Steurer and Martin Plümicke, Erweiterung und Neuimplementierung der Java Typunifikation (pdf)
  In Proceedings of the 33. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" (2. - 4. Mai 2016, Bad Honnef)
• Martin Plümicke, Type unification for structural types in Java (pdf)
  In Proceedings of the 33. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" (2. - 4. Mai 2016, Bad Honnef)

2017

• Introducing Scala-like function types into Java-TX (pdf)
  In Proceedings of the 14th International Conference on Managed Languages & Runtimes (ManLang, formerly PPPJ), ACM International Conference Proceeding Series, ISBN 978-1-4503-0935-6, Prague, Czech Republic, September 26-27, 2017
• Structural type inference in Java-like languages (pdf)
  In Proceedings of the 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'17) , pages 45-58, 25. - 27. September 2017 in Weimar, Thüringen, Deutschland

2016

• Type unification for structural types in Java -Extended abstract- (pdf)
  In Proceedings of 30st International Workshop on Unification, page 49, June 26, 2016, Porto, Portugal
• Structural Type Inference in Java-like Languages (pdf)
  Im Gemeinsamen Tagungsband der Workshops der Tagung Software Engineering 2016 der 9. Arbeitstagung Programmiersprachen (ATPS 2016) , pages 109-113, 25. Februar 2016 in Wien

2015

• Java Type System - Proposals for Java 10 or 11 (pdf)
  In Proceedings of the 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'15) , pages 463-475, 5.-7. Oktober 2015 in Pörtschach am Wörthersee, Kärnten, Österreich
• Evelyn Fikus, Franziska Fütterling, Julia Schubert, Andreas Stadelmeier, Martin Plümicke: Bytecode-Generierung eines neuartigen Java Compilers (pdf)
  In Proceedings of the 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'15) , pages 602-610, 5.-7. Oktober 2015 in Pörtschach am Wörthersee, Kärnten, Österreich
• Introducing Scala-like functional interfaces into Java (pdf)
  In Proceedings of the 32. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" (4. - 6. Mai 2015, Bad Honnef, to appear)
• More type inference in Java-8
  In Lecture Notes in Computer Science 8974, PSI' 14, Ershov Informatics Conference Perspectives of System Informatics , pages , June 24-27, 2014, St. Petersburg, Russia
• More type inference in Java-8 (Long Version) (pdf)
  
• Adding overloading to Java type inference (pdf)
  Im Gemeinsamen Tagungsband der Workshops der Tagung Software Engineering 2015 der 8. Arbeitstagung Programmiersprachen (ATPS 2015) , pages 127-132, 18. März 2015 in Dresden

2014

• Integrated Campus Portal (pdf)
  In Novel Methods and Technologies and Enterprise Information Systems, ERP Future 2013 Conference, Vienna, Austria, November 2013, Revised Papers, pages 249-260
• Generic instances in Java Byte Code (pdf)
  In Proceedings of the 31. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" (28. - 30. April 2014, Bad Honnef, to appear)
• Adding function types to Java 8 (pdf)
  Im Gemeinsamen Tagungsband der Workshops der Tagung Software Engineering 2014 der 7. Arbeitstagung Programmiersprachen (ATPS 2014) , pages 146-147, 26. Februar 2014 in Kiel

2013

• Implementierung eines Typinferenzalgorithmus für Java-8 (pdf)
  In Proceedings of the 17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'13) , pages 127-134, 29. September bis 2. Oktober 2011 in Wittenberg
• Martln Plümicke, Walter Binder (Ed.), Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (pdf), Stuttgart, Germany, September 11-13, 2013. ACM 2013, ISBN 978-1-4503-2111-2

2012

• Functional Implementation of well-typings in Java_λ (pdf)
  In Draft proceedings of the 24th symposium on implementation and application of functional languages (IFL 2012) , pages 403-415, 30 August - 1 September 2012, Oxford
• Brian's approach vs. Martin's approach Functional Interfaces vs. function-types in Java 8 (pdf)
  In Proceedings of the 29. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" (2. - 4. Mai 2012, Bad Honnef, to appear)

2011

• Implementation of well-typings in Java_λ (pdf)
  In Proceedings of the 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11) , pages 103-113, 26. bis 28. September 2011 auf Schloss Raesfeld im Münsterland
• Well-typings for Java_λ (pdf)
  In Proceedings of the 9th international symposium on Principles and practice of programming in Java ACM International Conference Proceeding Series, ISBN 978-1-4503-0935-6, Kongens Lyngby, Denmark, August 24-26, 2011
• Well-typings for Java_λ - The algorithm - (pdf)
  In Proceedings of the 28. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" (2. - 4. Mai 2011, Bad Honnef, to appear)

2010

• Formalization of the Java_lambda type system (pdf)
  In Proceedings of the 27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" (3. - 5. Mai 2010, Bad Honnef)

2009

• Java Type Unification with Wildcards (pdf)
  In Proceedings of the 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

2008

• Subtyping in Java 5.0 (pdf)
  In Proceedings of the Annual Meeting for Information Technology & Computer Science of the BA-University of Cooperative Education, pages 33-37, Stuttgart, 20. Februar 2008
• Resolving of Intersection Types in Java (pdf)
  In Proceedings of the 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" (5. - 7. Mai 2008, Bad Honnef)
• Intersection Types in Java (pdf)
  In Proceedings of the 6th international symposium on Principles and practice of programming in Java ACM International Conference Proceeding Series; Vol. 347 Modena, Italy, September 9-11, 2008

2007

• Formalization of the Java Type System (pdf)
  In Proceedings of the 24. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" (2. - 4. Mai 2007, Bad Honnef)

• Java type unification with wildcards (pdf)
  In Proceedings of 21st International Workshop on Unification, pages , Paris, France, June 29. 2007

• Typeless Programming in Java 5.0 with Wildcards (pdf)
  In Proceedings of the 5th international symposium on Principles and practice of programming in Java ACM International Conference Proceeding Series; Vol. 272 Monte de Caparica/Lisbon, Portugal, September 5-7, 2007

• Java type unification with wildcards (pdf)
  In Proceedings of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming , pages 234-245, Würzburg, Germany, October 4-6, 2007

• Implementierung eines Typinferenzalgorithmus für Java 5.0 (pdf)
  In Proceedings of the 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07) , pages 141-146, 10.-12. Oktober 2007, Timmendorfer Strand

2006

• Typ-Inferenz in Java 5.0 (pdf)
  In Proceedings (erschienen in Softwaretechnik-Trends 26(2)) of the 23. Workshop der GI-Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte" zusammen mit der Fachgruppe TAV (Test, Analyse und Verifikation von Software) (3. - 5. Mai 2006, Bad Honnef)

• Typeless programming in Java 5.0 (pdf)
  In Proceedings of the 4th international symposium on Principles and practice of programming in Java ACM International Conference Proceeding Series; Vol. 178 Mannheim, Germany, August 30 - September 1, 2006.

• Type-Inference in Java (pdf)
  In Proceedings of the Annual Meeting for Information Technology & Computer Science of the BA-University of Cooperative Education (to appear) , pages , Horb, 09. November 2006

2005

• Object-Oriented Tokens for the Parser Generator jay (pdf)
  In Proceedings of the Annual Meeting for Information Technology & Computer Science of the BA-University of Cooperative Education , pages 33-35, Stuttgart, 03. Mai 2005

2004

• Type Unification in Generic-Java (postscript)
  In Proceedings of 18th International Workshop on Unification, Cork, Ireland, July 5. 2004

• Untyped Methods in Generic-Java (pdf)
  In Proceedings of the Annual Meeting for Information Technology & Computer Science of the BA-University of Cooperative Education 1st Edition , pages 16-18, Stuttgart, 07. Juli 2004

• ARIS meets RUP - The ARIS Unified Information System Development Proces (postscript)
  In Proceedings des 3 . GI-Workshop "EPK 2004 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten" , pages 65-86, Luxemburg, 06. Oktober 2004

1999

• Polymorphism in OBJ-P (postscript)
  In Lecture Notes \ in Computer Science 1755, Andrei Ershov 3rd. Intern. Conf. "Perspectives of System Informatics" , pages 148-153, July 6-9, 1999, Novosibirsk, Russia

1998

• Type-Inference in OBJ-P , in Proceedings of the 7th International Workshop on Fuctional and Logic Programming, Bad Honnef, April 1998 (postscript)

• OBJ-P The Polymorphic Extension of OBJ-3 Phd thesis, December 1998 (postscript)

1997

• Technical report WSI-97-1 Polymorphically order-sorted types in OBJ-3 (postscript)

• Technical report WSI-97-2 Parametric Polymorphism in OBJ-3 (postscrip\ t)

• Complete polymorphic order-sorted unification, in Proceedings of Programming Languages and Fundamentals of Programming, Fehmarn, September 1997 (postscript)

1996

• Resolving of Overloading and Subtyping, in Preliminary Proceedings of Prespectives of System Informatics '96, Novosibirsk (postscript)

1995

• Semantics and Implementation of a Functional Programming Language with Subtypes and Overloading (postscript)
  12. Workshop der GI-Fachgruppe 2.1.4 "Alternative Konzepte für Sprachen und Rechner" (1. - 2. May 1995, Bad Honnef)

• Technical report WSI-95-22 Concepts for Overloading and Subtyping in an Algebraic Specification Language (postscript)

1994

• Diplomarbeit (Master Thesis) (postscript)

• Subtyping and Overloading in a Functional Programming Language (postscript)
  11. Workshop der GI-Fachgruppe 2.1.4 "Alternative Konzepte für Sprachen und Rechner" (9. - 11. Mai 1994, Bad Honnef)

• Technical report WSI-94-14 Subtyping and Overloading in a Functional Programming Language (postscript)