31686 search results - page 319 / 6338 » Resource typing in Guru |
102
click to vote
LISP
2008
15 years 23 days ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
113
Voted
TR
2008
15 years 21 days ago
2008
A hybrid censoring scheme is a mixture of Type-I and Type-II censoring schemes. This article presents the statistical inferences on Weibull parameters when the data are Type-II hyb...
101
click to vote
JFP
2010
14 years 11 months ago
2010
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haske...
110
Voted
ISAAC
2010
Springer
14 years 10 months ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
120
click to vote
SIGDIAL
2010
14 years 10 months ago
2010
The second person pronoun you serves different functions in English. Each of these different types often corresponds to a different term when translated into another language. Cor...