( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A New Method for Strictness Analysis on Non-Flat Domains.

, и . Functional Programming, стр. 1-11. Springer, (1989)

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.

Le Le Win

Le Lan

Lê Tâm

Le Cao

Rong Le

 

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

Gamma and the Chemical Reaction Model: Fifteen Years After., , и . WMP, том 2235 из Lecture Notes in Computer Science, стр. 17-44. Springer, (2000)A Type-based Framework for Program Analysis., и . SAS, том 864 из Lecture Notes in Computer Science, стр. 380-394. Springer, (1994)Privacy Risk Analysis to Enable Informed Privacy Settings., и . EuroS&P Workshops, стр. 95-102. IEEE, (2018)Model Checking Security Properties of Control Flow Graphs., , и . J. Comput. Secur., 9 (3): 217-250 (2001)Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis., и . J. Funct. Program., 6 (1): 75-109 (1996)Introduction to Gamma., и . Research Directions in High-Level Parallel Programming Languages, том 574 из Lecture Notes in Computer Science, стр. 197-202. Springer, (1991)The Chemical Reaction Model.. Research Directions in High-Level Parallel Programming Languages, том 574 из Lecture Notes in Computer Science, стр. 196. Springer, (1991)Shape Types., и . POPL, стр. 27-39. ACM Press, (1997)Consistency Checking for Multiple View Software Architectures., , и . ESEC / SIGSOFT FSE, том 1687 из Lecture Notes in Computer Science, стр. 410-428. Springer, (1999)Privacy Architectures: Reasoning about Data Minimisation and Integrity., и . STM, том 8743 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2014)