Updated 2024-12-24 12:00:03 +00:00
jdk-24 fork (from: https://github.com/openjdk/jdk) with modifications to be used in Wildcard-Usage analysis tools
Updated 2024-12-22 07:05:49 +00:00
Updated 2024-12-20 10:19:41 +00:00
Updated 2024-12-19 22:56:03 +00:00
Updated 2024-12-19 13:04:14 +00:00
Language Server for JavaTX including various Clients.
Updated 2024-12-12 21:06:30 +00:00
JavaTX Compiler
Updated 2024-12-12 16:27:48 +00:00
Updated 2024-12-11 23:23:53 +00:00
Implementierung des Typunifikationsalgorithmus mit ASP
Updated 2024-11-28 12:12:34 +00:00
ASP Unify Algorithm Paper
Updated 2024-11-24 11:52:36 +00:00
Updated 2024-11-22 13:32:35 +00:00
Updated 2024-11-20 14:31:50 +00:00
Updated 2024-11-06 10:59:58 +00:00
Updated 2024-10-24 21:18:03 +00:00
Updated 2024-10-21 06:48:53 +00:00
Updated 2024-09-02 10:28:51 +00:00
Prototype Implementation of a type inference algorithm for Featherweight Java including Wildcards re-implementation using Scala 3
Updated 2024-08-15 15:03:28 +00:00
Updated 2024-07-19 23:09:04 +00:00
Updated 2024-07-16 17:29:45 +00:00
Updated 2024-07-10 05:57:40 +00:00