Andreas Stadelmeier stan

2 Followers · 2 Following

• Joined on 2023-11-14

Repositories

12

Projects Packages Public Activity Starred Repositories

stan pushed to cctv at stan/Ecoop2024_TIforWildFJ 2024-07-23 08:47:28 +00:00

0c260eef12 Start with cctv and soundness proof

stan pushed to symposium at stan/WLP2024 2024-07-22 13:34:06 +00:00

c9c531741e Finished version for symposium submission

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-17 14:15:29 +00:00

2b57b092be Fixes for Soundness Proof. Start with Capture Conversion at Subst-Step and introduce ccTVs

stan pushed to main at stan/JavaTypeUnifyASP 2024-07-16 13:39:27 +00:00

02275e0b41 Comment out coConsTest

stan pushed to symposium at stan/WLP2024 2024-07-01 15:20:12 +00:00

ac3e5651e3 Cleanup and add Introduction

stan pushed to symposium at stan/WLP2024 2024-07-01 10:38:08 +00:00

514097ce56 Bib

stan pushed to main at stan/JavaTypeUnifyASP 2024-07-01 10:37:31 +00:00

3c0f0dcf55 Fix Parser. Add Numbers for Identifiers

stan pushed to main at stan/JavaTypeUnifyASP 2024-07-01 10:37:05 +00:00

af0dad2b09 OL example and fix orCOnstraints

stan pushed to symposium at stan/WLP2024 2024-07-01 10:33:04 +00:00

435b3ed07b Discussion#

stan pushed to symposium at stan/WLP2024 2024-06-30 22:12:45 +00:00

0373eb69e8 Add Motivation and Bib

stan pushed to symposium at stan/WLP2024 2024-06-29 17:46:07 +00:00

df402dfb2b Add Intro and Termination

stan created branch symposium in stan/WLP2024 2024-06-28 13:52:48 +00:00

stan pushed to symposium at stan/WLP2024 2024-06-28 13:52:48 +00:00

59e80f556c Add Abstract and Termination

4f3350cdcb Change to EPTCS style

Compare 2 commits »

stan pushed to main at stan/JavaTypeUnifyASP 2024-06-28 09:58:41 +00:00

2887b8936d o <. Object does not work

stan pushed to main at stan/JavaTypeUnifyASP 2024-06-27 19:52:40 +00:00

2827098a27 Change super to subtype in ASP generation

stan pushed to master at stan/WLP2024 2024-06-27 14:54:22 +00:00

e0a531a3a7 Add Matrix exampel

stan pushed to main at stan/JavaTypeUnifyASP 2024-06-22 22:45:53 +00:00

cd017ba665 Fix Constraint Set Grammar. Add Or Constraint Test

stan pushed to master at stan/WLP2024 2024-06-21 01:32:16 +00:00

eb2ae1eb34 Fix

stan pushed to main at stan/JavaTypeUnifyASP 2024-06-21 00:33:20 +00:00

2cf39b3b8c Change ASP Generator and add Solution Parser

stan pushed to master at stan/WLP2024 2024-06-19 21:16:18 +00:00

0eeb31cb67 Fixes. Finished algorithm (v1)