1072 search results - page 56 / 215 » Object-Oriented Type Inference |
130
click to vote
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
126
click to vote
POPL
1996
ACM
15 years 7 months ago
1996
ACM
Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model o...
147
click to vote
FBIT
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
119
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
— This article presents an evolution of classical SPMD programming for clusters and grids. It is named ”Object-Oriented SPMD” as it is based on remote method invocation. More...
135
click to vote
COOPIS
2003
IEEE
15 years 8 months ago
2003
IEEE
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...