( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling Web Applications by the Multiple Levels of Integrity Policy.

, , , , и . WWV, DSIC-II/03/05, стр. 161-175. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Francesca Vidal

Francesca Venturini

Francesca Ros

Francesca Albertini

Francesca Schinzinger

 

Другие публикации лиц с тем же именем

Optimal multibinding unification for sharing and linearity analysis., и . Theory Pract. Log. Program., 14 (3): 379-400 (2014)Localizing Widening and Narrowing., и . SAS, том 7935 из Lecture Notes in Computer Science, стр. 25-42. Springer, (2013)Building Complete Abstract Interpretations in a Linear Logic-based Setting., , и . SAS, том 1503 из Lecture Notes in Computer Science, стр. 215-229. Springer, (1998)Complete Abstract Interpretations Made Constructive., , и . MFCS, том 1450 из Lecture Notes in Computer Science, стр. 366-377. Springer, (1998)Optimality in goal-dependent analysis of Sharing., и . Theory Pract. Log. Program., 9 (5): 617-689 (2009)On the Need for a Common API for Abstract Domains of Object-Oriented Programs., , и . FTfJP@ECOOP, стр. 15-17. ACM, (2022)Efficient Constraint/Generator Removal from Double Description of Polyhedra., , и . NSAD, том 307 из Electronic Notes in Theoretical Computer Science, стр. 3-15. Elsevier, (2014)Narrowing Operators on Template Abstract Domains., , , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 57-72. Springer, (2015)Contributions to a Theory of Existential Termination for Definite Logic Programs., и . GULP-PRODE, стр. 631-642. (1995)Intuitionistic Implication in Abstract Interpretation., и . PLILP, том 1292 из Lecture Notes in Computer Science, стр. 175-189. Springer, (1997)