Вы здесь

File G.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Simple and General Method for Integrating Abstract Interpretation in SICStus 1999 Baldan D., Civran N., File G., Pulvirenti F. Lecture Notes in Computer Science 27.10.1999
СТ Improving Abstract Interpretations by Systematic Lifting to the Powerset 1994 File G., Ranzato F. Logic Programming. Proc. of the 1994 Intern. Symp. 31.01.1996
СТ Complementation in Abstract Interpretation 1995 Cortesi A., File G., Giacobazzi R. Lecture Notes in Computer Science Static Analysis 16.11.1995
СТ Static Analysis of Prolog with Cut 1993 File G., Rossi S. Lecture Notes in Artificial Intelligence 07.08.1993
СТ Computations, Abstractions and Constraints (extended abstract) 1991 Codognet P., File G. BIGRE 11.12.1991
СТ Abstract Interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis 1991 Cortesi A., File G. SIGPLAN Notices 26.10.1991