Sciweavers

13734 search results - page 291 / 2747
» Abstractions of data types
Sort
View
CORR
2004
Springer
177views Education» more  CORR 2004»
15 years 6 months ago
Typestate Checking and Regular Graph Constraints
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
Viktor Kuncak, Martin C. Rinard
IDEAS
2007
IEEE
84views Database» more  IDEAS 2007»
16 years 27 days ago
Multiple Entry Indexing and Double Indexing
Traditional indexing techniques are not well suited for complex data types such as spatial, spatio-temporal, and multimedia data types, where an instance is a composite of multipl...
Victor Teixeira de Almeida, Ralf Hartmut Güti...
TOOLS
1999
IEEE
15 years 11 months ago
On Creation, Equality and the Object Model
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
Michael Kölling, John Rosenberg
NAR
1998
90views more  NAR 1998»
15 years 6 months ago
The Human Collagen Mutation Database 1998
The collagens are a large and diverse family of proteins which are found in the extracellular matrix. In common with one another, the 19 known collagen types have triple-helical d...
Raymond Dalgleish
DNA
2005
Springer
134views Bioinformatics» more  DNA 2005»
16 years 3 days ago
Complexity of Compact Proofreading for Self-assembled Patterns
Abstract. Fault-tolerance is a critical issue for biochemical computation. Recent theoretical work on algorithmic self-assembly has shown that error correcting tile sets are possib...
David Soloveichik, Erik Winfree