3824 search results - page 622 / 765 » Geometry Constructions Language |
CORR
2004
Springer
13 years 9 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
GIS
2000
ACM
13 years 9 months ago
2000
ACM
Spatialapplications must managepartwhole (PW) relationships between spatial objects, for example, the division of an administrative region into zones based on land use. Support fo...
ENTCS
2002
13 years 9 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
CN
1998
13 years 9 months ago
1998
With the increasing popularity of the World Wide Web, the number of information sources providing access to various types of data has increased considerably. While simple data ret...
CORR
1999
Springer
13 years 9 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...