Sciweavers

2958 search results - page 237 / 592
» Extending and Implementing RASP
Sort
View
TOOLS
1998
IEEE
14 years 3 months ago
Declarative Reasoning about the Structure of Object-Oriented Systems
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
Roel Wuyts
VVS
1998
IEEE
133views Visualization» more  VVS 1998»
14 years 3 months ago
An Accurate Method for Voxelizing Polygon Meshes
The process of generating discrete surfaces in a volumetric representation, termed voxelization, is confronted with topological considerations as well as accuracy and efficiency r...
Jian Huang, Roni Yagel, Vassily Filippov, Yair Kur...
POPL
1998
ACM
14 years 3 months ago
A Functional Representation of Data Structures with a Hole
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
Yasuhiko Minamide
ECOOP
1998
Springer
14 years 3 months ago
Predicate Dispatching: A Unified Theory of Dispatch
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
Michael D. Ernst, Craig S. Kaplan, Craig Chambers
AGP
1997
IEEE
14 years 3 months ago
Structural Information Analysis for CLP Languages
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
Roberto Bagnara