Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints [0.03%]
使用差异约束的复杂度和资源界限分析命令式程序
Moritz Sinn,Florian Zuleger,Helmut Veith
Moritz Sinn
Difference constraints have been used for termination analysis in the literature, where they denote relational inequalities of the form x'≤y+c , and describe that the value of x in the current state is at most the value of y in the pr...
Christian Urban
Christian Urban
A semantical framework for supporting subjective and conditional probabilities in deductive databases [0.03%]
一种用于支持演绎数据库中主观概率和条件概率的语义框架
Raymond Ng; V. S. Subrahmanian
Raymond Ng; V. S. Subrahmanian
Malkis, Alexander; Banerjee, Anindya
Malkis
Mark E. Stickel
Mark E. Stickel
Art Quaife
Art Quaife
L. Wos; Fernando Pereira; Robert Hong; Robert S. Boyer; J Strother Moore; W. W. Bledsoe; L. J. Henschen; Bruce G. Buchanan; Graham Wrightson; Cordell Green
L. Wos; Fernando Pereira; Robert Hong; Robert S. Boyer; J Strother Moore; W. W. Bledsoe; L. J. Henschen; Bruce G. Buchanan; Graham Wrightson; Cordell Green
F. Oppacher; E. Suen
F. Oppacher; E. Suen
Joan Hart; Kenneth Kunen
Joan Hart; Kenneth Kunen
Arnon Avron
Arnon Avron