×
作者ID: 西尔瓦·约塞普“Silva,Josep”最近发表的zbMATH文章
发布日期: 席尔瓦,约瑟夫;J.席尔瓦。;乔塞普·席尔瓦·加利亚纳
主页: http://personales.upv.es/josilga/
外部链接: MGP公司·ORCID公司
已编制索引的文档: 27出版物自2005年以来,包括1本书
2作为编辑的贡献
合著者: 21位合著者具有26联合出版物
350位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

12出版物有被引用40中的次24文件 引用人 年份
基于程序切片技术的词汇表。 Zbl 1293.68081号
席尔瓦,约瑟夫
8
2012
归纳顺序程序的快速窄带驱动部分求值。 Zbl 1302.68067号
J.瓜达卢佩·拉莫斯;席尔瓦,约瑟夫;德国维达尔
7
2005
CSP规范的MEB和CEB静态分析。 Zbl 1185.68207号
Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特
5
2009
功能逻辑程序的运行时分析。 Zbl 1134.68329号
布拉塞尔,B。;哈纳斯,M。;Huch,F。;J.席尔瓦。;G.维达尔。
4
2005
使用大小变化图改进离线窄化驱动的部分求值。 Zbl 1196.68037号
古斯塔沃·阿罗约;J.瓜达卢佩·拉莫斯;席尔瓦,约瑟夫;德国维达尔
4
2007
基于redex跟踪的惰性函数程序的动态切片。 Zbl 1192.68139号
克劳迪奥·奥乔亚;席尔瓦,约瑟夫;德国维达尔
4
2008
Petri网的动态切片技术。 Zbl 1337.68188号
M.洛伦斯。;J·奥利弗。;J.席尔瓦。;塔马利特,S。;G.维达尔。
2
2008
通过循环扩展和树压缩增强声明性调试。 Zbl 1394.68075号
大卫·英莎;席尔瓦,约瑟夫;塞萨尔·托马斯
2
2013
CSP的跟踪语义。 Zbl 1286.68083号
玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特
1
2010
重写系统的静态切片。 Zbl 1279.68051号
迭戈·切达;席尔瓦,约瑟夫;德国维达尔
1
2007
算法调试概述。 Zbl 1395.68094号
大卫·英莎;席尔瓦,约瑟夫
1
2018
显式同步语言的静态切片。 Zbl 1253.68246号
Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特
1
2012
算法调试概述。 兹比尔1395.68094
大卫·英莎;席尔瓦,约瑟夫
1
2018
通过循环扩展和树压缩增强声明性调试。 Zbl 1394.68075号
大卫·英莎;席尔瓦,约瑟夫;塞萨尔,托马斯
2
2013
基于程序切片技术的词汇表。 Zbl 1293.68081号
席尔瓦,约瑟夫
8
2012
显式同步语言的静态切片。 Zbl 1253.68246号
Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特
1
2012
CSP的跟踪语义。 Zbl 1286.68083号
玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特
1
2010
CSP规范的MEB和CEB静态分析。 Zbl 1185.68207号
Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特
5
2009
基于redex跟踪的惰性函数程序的动态切片。 Zbl 1192.68139号
克劳迪奥·奥乔亚;席尔瓦,约瑟夫;德国维达尔
4
2008
Petri网的动态切片技术。 Zbl 1337.68188号
M.洛伦斯。;J·奥利弗。;J.席尔瓦。;塔马利特,S。;G.维达尔。
2
2008
使用大小变化图改进离线窄化驱动的部分求值。 Zbl 1196.68037号
古斯塔沃·阿罗约;瓜达卢佩·拉莫斯;席尔瓦,约瑟夫;德国维达尔
4
2007
重写系统的静态切片。 Zbl 1279.68051号
迭戈·切达;席尔瓦,约瑟夫;德国维达尔
1
2007
归纳顺序程序的快速窄带驱动部分求值。 Zbl 1302.68067号
J.瓜达卢佩·拉莫斯;席尔瓦,约瑟夫;德国维达尔
7
2005
功能逻辑程序的运行时分析。 Zbl 1134.68329号
布拉塞尔,B。;哈努斯,M。;Huch,F。;J.席尔瓦。;G.维达尔。
4
2005

按年份列出的引文