( en | de | ru )

 

Disambiguierung von "Scozzari, Francesca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
JGMP: Java bindings and wrappers for the GMP library.

, und . SoftwareX, (Juli 2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Francesca Vidal

Francesca Venturini

Francesca Ros

Francesca Albertini

Francesca Dordei

 

Weitere Publikationen von Autoren mit dem selben Namen

On the interaction between sharing and linearity, und . CoRR, (2007)Optimal multi-binding unification for sharing and linearity analysis., und . CoRR, (2013)Localizing Widening and Narrowing., und . SAS, Volume 7935 von Lecture Notes in Computer Science, Seite 25-42. Springer, (2013)Optimal multibinding unification for sharing and linearity analysis., und . Theory Pract. Log. Program., 14 (3): 379-400 (2014)Building Complete Abstract Interpretations in a Linear Logic-based Setting., , und . SAS, Volume 1503 von Lecture Notes in Computer Science, Seite 215-229. Springer, (1998)Complete Abstract Interpretations Made Constructive., , und . MFCS, Volume 1450 von Lecture Notes in Computer Science, Seite 366-377. Springer, (1998)Optimality in goal-dependent analysis of Sharing., und . Theory Pract. Log. Program., 9 (5): 617-689 (2009)Discovering invariants via simple component analysis., , und . J. Symb. Comput., 47 (12): 1533-1560 (2012)On the Need for a Common API for Abstract Domains of Object-Oriented Programs., , und . FTfJP@ECOOP, Seite 15-17. ACM, (2022)Efficient Constraint/Generator Removal from Double Description of Polyhedra., , und . NSAD, Volume 307 von Electronic Notes in Theoretical Computer Science, Seite 3-15. Elsevier, (2014)