18429 search results - page 31 / 3686 » Typing dynamic typing |
GI
2004
Springer
14 years 3 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
WAIFI
2010
Springer
14 years 3 months ago
2010
Springer
In the 1990s and early 2000s several papers investigated the relative merits of polynomial-basis and normal-basis computations for F2n . Even for particularly squaring-friendly app...
ECOOP
2006
Springer
13 years 12 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
ISSRE
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
SSD
1993
Springer
14 years 2 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...