Sciweavers

489 search results - page 53 / 98
» Type classes as objects and implicits
Sort
View
EGPGV
2011
Springer
366views Visualization» more  EGPGV 2011»
12 years 11 months ago
GPU Algorithms for Diamond-based Multiresolution Terrain Processing
We present parallel algorithms for processing, extracting and rendering adaptively sampled regular terrain datasets represented as a multiresolution model defined by a super-squa...
M. Adil Yalçin, Kenneth Weiss, Leila De Flo...
ENTCS
2007
133views more  ENTCS 2007»
13 years 8 months ago
Modelchecking Correctness of Refactorings - Some Experiments
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
H.-Christian Estler, Thomas Ruhroth, Heike Wehrhei...
HASKELL
2008
ACM
13 years 9 months ago
Lightweight monadic regions
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
Oleg Kiselyov, Chung-chieh Shan
ICSM
2009
IEEE
14 years 2 months ago
Understanding source package organization using the hybrid model
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
Xinyi Dong, Michael W. Godfrey
CAISE
2006
Springer
13 years 11 months ago
Classification and Ontological Aspects in Software Engineering
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
María del Pilar Romay, Carlos E. Cuesta