Sciweavers

2880 search results - page 2 / 576
» Types are calling conventions
Sort
View
FLOPS
1999
Springer
13 years 9 months ago
Using Types as Approximations for Type Checking Prolog Programs
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
Christoph Beierle, Gregor Meyer
CSDA
2011
12 years 11 months ago
Inferences on Weibull parameters with conventional type-I censoring
In this article we consider the statistical inferences of the unknown parameters of a Weibull distribution when the data are Type-I censored. It is well known that the maximum lik...
Avijit Joarder, Hare Krishna, Debasis Kundu
ESOP
2010
Springer
14 years 2 months ago
Stateful Contracts for Affine Types
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
Jesse A. Tov, Riccardo Pucella
WEBNET
2000
13 years 6 months ago
Conventions for Knowledge Representation via RDF
The Resource Description Framework [RDF] provides a basic model to describe relationships between objects. Ultimately, it is intended to permit the representation, combination and ...
Philippe Martin, Peter W. Eklund