Estensioni del Property-based Testing di e con linguaggi di programmazione dichiarativa.

Progetto

Il servizio di classificazione ACADEMIC SIGNATURE è IN BETA TESTING e i risultati potrebbero non essere corretti

Academic Signature (4)

Declarative programming languages

Electronic data processing

Declarative programming languages

High-level programming languages

Declarative programming languages

Languages, Artificial

Declarative programming languages

Programming languages (Electronic computers)

Partecipanti

MOMIGLIANO ALBERTO DAVIDE ADOLFO Responsabile scientifico

Dipartimenti coinvolti

Dipartimento di Informatica Giovanni Degli Antoni Principale

Tipo

AL_RIC - Bandi da altri enti di ricerca

Finanziatore

ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA

Organizzazione Esterna Ente Finanziatore

Periodo di attività

Marzo 9, 2020 - Marzo 8, 2021

Durata progetto

12 mesi

Settori

SSD old (valido fino al 24/06/2024)

Settore INF/01 - Informatica