×
作者ID: 福斯托港“Spoto,Fausto”最近发表的zbMATH文章
发布日期: 福斯托·斯波托
编入索引的文档: 26出版物自1999年起
合著者: 14合著者具有21联合出版物
157位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

20出版物有被引用57中的次32文件 引用人 年份
面向对象程序的对共享分析。 Zbl 1141.68378号
斯特凡诺·塞奇;福斯托·斯波托
12
2005
Java字节码的信息流分析。 Zbl 1111.68505号
萨米尔·根奈姆;福斯托·斯波托
8
2005
通过将抽象编译为布尔函数来检测非周期性。 兹比尔1176.68043
斯特凡诺·罗西诺利;福斯托·斯波托
6
2006
通过线性细化进行对独立性和自由度分析。 Zbl 1036.68020号
乔治·列维;福斯托·斯波托
4
2003
Java字节码本地化分析的魔法集。 Zbl 1244.68052号
福斯托·斯波托;埃蒂安·佩耶特
4
2010
带cut的Prolog的操作语义和与目标无关的指称语义。 Zbl 0948.68030号
福斯托·斯波托
3
2000
将\(Def\)和\(Pos\)归纳为类型分析。 Zbl 1012.68040号
帕特里夏·M·希尔。;福斯托·斯波托
3
2002
观察点语义:用于组合和集中静态分析的工具。 Zbl 0997.68517号
福斯托·斯波托
2
2001
逃逸分析的基础。 Zbl 1275.68058号
帕特里夏·M·希尔。;福斯托·斯波托
2
2002
程序变量的可达性分析。 Zbl 1358.68075号
尼古拉·德乌里卡;福斯托·斯波托
2
2012
Java字节码的定义表达式别名分析。 Zbl 1362.68031号
尼科利奇,乌里卡;福斯托·斯波托
2
2012
通过线性细化进行自由度分析。 Zbl 0957.68058号
帕特里夏·希尔;福斯托·斯波托
1
1999
用于共享分析的摘要汇编。 Zbl 1037.68027号
吉安卢卡·阿马托;福斯托·斯波托
1
2001
通过抽象解释对面向对象程序进行类分析。 Zbl 0978.68037号
托马斯·延森;福斯托·斯波托
1
2001
作为紧凑表示的逻辑程序。 Zbl 1059.68018号
帕特里夏·M·希尔。;福斯托·斯波托
1
2003
作为紧凑表示的逻辑程序。 兹比尔1026.68778
帕特里夏·M·希尔。;福斯托·斯波托
1
2002
推断数组的完整初始化。 Zbl 1292.68104号
尼科利奇,乌里卡;福斯托·斯波托
1
2013
escape属性的细化。 Zbl 1057.68586号
帕特里夏·M·希尔。;福斯托·斯波托
1
2002
信息流是恒常性的线性细化。 Zbl 1169.68369号
福斯托·斯波托
1
2005
基于自动机的数组初始化分析。 Zbl 1350.68180号
尼科利奇,乌里卡;福斯托·斯波托
1
2012
推断数组的完整初始化。 Zbl 1292.68104号
尼科利奇,乌里卡;福斯托·斯波托
1
2013
程序变量的可达性分析。 Zbl 1358.68075号
尼科利奇,乌里卡;福斯托·斯波托
2
2012
Java字节码的定义表达式别名分析。 Zbl 1362.68031号
尼科利奇,乌里卡;福斯托·斯波托
2
2012
基于自动化的阵列初始化分析。 Zbl 1350.68180号
尼科利奇,乌里卡;福斯托·斯波托
1
2012
Java字节码本地化分析的魔法集。 Zbl 1244.68052号
福斯托·斯波托;帕耶特,Étienne
4
2010
通过将抽象编译为布尔函数来检测非周期性。 Zbl 1176.68043号
斯特凡诺·罗西诺利;福斯托·斯波托
6
2006
面向对象程序的对共享分析。 Zbl 1141.68378号
斯特凡诺·塞奇;福斯托·斯波托
12
2005
Java字节码的信息流分析。 Zbl 1111.68505号
萨米尔·根奈姆;福斯托·斯波托
8
2005
信息流是恒常性的线性细化。 Zbl 1169.68369号
福斯托·斯波托
1
2005
通过线性细化进行对独立性和自由度分析。 Zbl 1036.68020号
乔治·列维;福斯托·斯波托
4
2003
作为紧凑表示的逻辑程序。 Zbl 1059.68018号
帕特里夏·M·希尔。;福斯托·斯波托
1
2003
将\(Def\)和\(Pos\)泛化为类型分析。 Zbl 1012.68040号
帕特里夏·M·希尔。;福斯托·斯波托
3
2002
逃逸分析的基础。 Zbl 1275.68058号
帕特里夏·M·希尔。;福斯托·斯波托
2
2002
作为紧凑表示的逻辑程序。 Zbl 1026.68778号
帕特里夏·M·希尔。;福斯托·斯波托
1
2002
escape属性的细化。 Zbl 1057.68586号
帕特里夏·M·希尔。;福斯托·斯波托
1
2002
观察点语义:用于组合和聚焦静态分析的工具。 Zbl 0997.68517号
福斯托·斯波托
2
2001
用于共享分析的摘要汇编。 Zbl 1037.68027号
吉安卢卡·阿马托;福斯托·斯波托
1
2001
通过抽象解释对面向对象程序进行类分析。 Zbl 0978.68037号
托马斯·延森;福斯托·斯波托
1
2001
带cut的Prolog的操作语义和与目标无关的指称语义。 Zbl 0948.68030号
福斯托·斯波托
3
2000
通过线性细化进行自由度分析。 Zbl 0957.68058号
帕特里夏·希尔;福斯托·斯波托
1
1999

按年份列出的引文