Andreas Stadelmeier stan

2 Followers · 2 Following

• Joined on 2023-11-14

Repositories

10

Projects Packages Public Activity Starred Repositories

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-25 08:36:58 +00:00

5e8a961e77 Soundness

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-24 19:24:16 +00:00

a98c4b0486 Soundness e.f WIP

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-24 13:49:03 +00:00

3548db28ba Soundness e.f

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-24 08:16:36 +00:00

a44568f789 Combine let and field access in soundness proof

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-23 22:38:39 +00:00

df24f3fd2f Soundness proof rework WIP

stan created branch cctv in stan/Ecoop2024_TIforWildFJ 2024-07-23 08:47:28 +00:00

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