2646 search results - page 63 / 530 » Local Type Inference |
113
Voted
GPCE
2008
Springer
15 years 1 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
116
Voted
ESOP
1994
Springer
15 years 4 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
116
click to vote
ENGL
2007
15 years 16 days ago
2007
—This paper describes the design and implementation of an inference engine for the execution of Fuzzy Inference Systems (FIS), the architecture of the system is presented, and th...
172
Voted
PPSWR
2005
Springer
15 years 6 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
101
click to vote
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...