CoLL-Saigawa Nao Hirokawa (JAIST) Kiraku Shintani (JAIST) - - PowerPoint PPT Presentation

▶

Apr 09, 2023 877 likes •969 views

CoLL-Saigawa Nao Hirokawa (JAIST) Kiraku Shintani (JAIST) CoLL-Saigawa 1/2 CoLL-Saigawa CoLL-Saigawa CoLL (5000 LoC) LL YES/NO TRS CoLL-Saigawa CoLL (5000 LoC) LL YES/NO TRS non-LL Saigawa (3000 LoC) CoLL-Saigawa 2/2 CoLL-Saigawa

SLIDE 1

CoLL-Saigawa

Nao Hirokawa

(JAIST)

Kiraku Shintani

(JAIST)

CoLL-Saigawa 1/2

SLIDE 2

CoLL-Saigawa

SLIDE 3

CoLL-Saigawa

TRS

CoLL (5000 LoC)

YES/NO LL

SLIDE 4

CoLL-Saigawa

TRS

CoLL (5000 LoC)

YES/NO LL

Saigawa (3000 LoC)

non-LL

CoLL-Saigawa 2/2

SLIDE 5

CoLL-Saigawa

TRS

CoLL (5000 LoC)

YES/NO LL

Saigawa (3000 LoC)

non-LL joint confluent tool?

CoLL-Saigawa 2/2

SLIDE 6

CoLL-Saigawa

TRS

CoLL (5000 LoC)

YES/NO LL

Saigawa (3000 LoC)

non-LL joint confluent tool? — disjoint union tool

CoLL-Saigawa 2/2

SLIDE 7

CoLL-Saigawa

TRS

CoLL (5000 LoC)

YES/NO LL

Saigawa (3000 LoC)

non-LL joint confluent tool? — disjoint union tool what’s next?

CoLL-Saigawa 2/2

SLIDE 8

CoLL-Saigawa

TRS

CoLL (5000 LoC)

YES/NO LL

Saigawa (3000 LoC)

non-LL joint confluent tool? — disjoint union tool what’s next? — full integration! CoLLgawa or SaigaLL?

CoLL-Saigawa 2/2