From post

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.

 

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

A Generic Framework for Context-Sensitive Analysis of Modular Programs., , , , , , и . Program Development in Computational Logic, том 3049 из Lecture Notes in Computer Science, Springer, (2004)Bottom-up Abstract Interpretation of Logic Programs., и . ICLP/SLP, стр. 733-748. MIT Press, (1988)Independence in CLP languages., , и . ACM Trans. Program. Lang. Syst., 22 (2): 296-339 (2000)Incremental analysis of constraint logic programs., , , и . ACM Trans. Program. Lang. Syst., 22 (2): 187-223 (2000)Optimizing Compilation of CLP(R)., , , , и . ACM Trans. Program. Lang. Syst., 20 (6): 1223-1250 (1998)Authoring diagrams that adapt to their viewing context., , и . J. Vis. Lang. Comput., (2018)Constraint Cascading Style Sheets for the Web., , , и . ACM Symposium on User Interface Software and Technology, стр. 73-82. ACM, (1999)Solving Linear Arithmetic Constraints for User Interface Applications., , , и . ACM Symposium on User Interface Software and Technology, стр. 87-96. ACM, (1997)Authoring adaptive diagrams., , и . ACM Symposium on Document Engineering, стр. 154-163. ACM, (2008)Review of automatic document formatting., , и . ACM Symposium on Document Engineering, стр. 99-108. ACM, (2009)