Nalaganje ...
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Št. navedb na leto
Podvojene navedbe
Naslednji članki v Učenjaku so združeni. Pri teh se za
skupno število navedb
upošteva le prvi članek.
Združene navedbe
Ta števec navedb vsebuje navedbe naslednjih člankov v Učenjaku. Tisti, ki so označeni z
*
, se morda razlikujejo od člankov v profilu.
Dodajanje soavtorjev
Soavtorji
Spremljaj
Novi članki tega avtorja
Novi navedki člankov tega avtorja
Novi članki, povezani z raziskavami tega avtorja
E-poštni naslov za obvestila
Končano
Moj profil
Moja knjižnica
Podatki o navedbah
Opozorila
Nastavitve
Prijava
Prijava
Ustvarite profil
Navedeno
Vse
Od leta 2019
Navedbe
1
1
indeks h
1
1
indeks i10
0
0
Spremljaj
Milla Valnet
PhD Student at Sorbonne Université
Preverjeni e-poštni naslov na lip6.fr
Functional programming
Program Analysis
Formal Methods
Abstract Interpretation
Članki
Navedeno
Naslov
Razvrsti
Razvrsti po navedbah
Razvrsti po letniku
Razvrsti po naslovu
Navedeno
Navedeno
Leto
Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs
M Valnet, R Monat, A Miné
JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, 211-242
, 2023
1
2023
Chamelon: un minimiseur pour et en OCaml
M Valnet, N Courant, G Bury, P Chambart, V Laviron
35es Journées Francophones des Langages Applicatifs (JFLA 2024)
, 2024
2024
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–2
Pokaži več
Zasebnost
Pogoji
Pomoč
O Učenjaku
Pomoč za Iskanje Google