1412 search results - page 56 / 283 » types 2004 |
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
Ownership types promise to provide a practical mechanism for enforcing stronger encapsulation by controlling aliasing in objectoriented languages. However, previous ownership type ...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
IWMM
2004
Springer
14 years 2 months ago
2004
Springer
The goal of the Cyclone project is to investigate type safety for low-level languages such as C. Our hardest challenge has been providing programmers control over memory managemen...
SCOPES
2004
Springer
14 years 2 months ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Piecemeal development and support for organisational processes may lead to problems: first, it is difficult to know which processes should be supported, and, second, it ...