2596 search results - page 209 / 520 » Gradual Typing for Objects |
134
click to vote
SGP
2007
15 years 6 months ago
2007
Many common objects have highly reflective metallic or painted finishes. Their appearance is primarily defined by the distortion the curved shape of the surface introduces in the ...
128
click to vote
COCOON
2008
Springer
15 years 6 months ago
2008
Springer
Given two sets of points in the plane, we are interested in locating a highway h such that an objective function on the city distance between points of the two sets is minimized (w...
143
click to vote
ACSW
2006
15 years 5 months ago
2006
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...
132
click to vote
WISES
2003
15 years 5 months ago
2003
Abstract — Control systems are often software-intensive applications that are becoming extremely complex as new functionality is required. Complexity is a real engineering challe...
120
click to vote
ENTCS
2008
15 years 4 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...