95 search results - page 17 / 19 » Static type inference for Ruby |
MIDDLEWARE
2004
Springer
14 years 24 days ago
2004
Springer
The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
AI
2004
Springer
13 years 7 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
We develop a framework to detect when certain sounds are present in a mixed audio signal. We focus on the regime where out of a large number of possible sounds, a small but unknow...
HASKELL
2005
ACM
14 years 1 months ago
2005
ACM
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...