1445 search results - page 105 / 289 » Uniformly Hard Languages |
135
click to vote
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
174
click to vote
AIIA
1995
Springer
15 years 7 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
116
click to vote
SDB
1995
15 years 7 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
114
click to vote
DBPL
1991
Springer
15 years 7 months ago
1991
Springer
Persistent languages and systems provide the ability to create and manipulate all data in a uniform manner regardless of how long it persists. Such systems are usually implemented...
199
click to vote
KRDB
2003
15 years 5 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...