TYPES4STRINGS: Types For Strings

TYPES4STRINGS: Types For Strings

Jürgen Cito (ORCID: 0000-0001-8619-1271)

Weave: Österreich - Belgien - Deutschland - Luxemburg - Polen - Schweiz - Slowenien - Tschechien

Disciplines

Computer Sciences (100%)

Keywords

    Strings, Type Systems, Automated Testing, Type Grammar Inference

Research institution(s)
International project participants