Sciweavers

133 search results - page 1 / 27
» An object-oriented approach to datatype-generic programming
Sort
View
CORR
2012
Springer
232views Education» more  CORR 2012»
12 years 11 days ago
A Formal Comparison of Approaches to Datatype-Generic Programming
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
José Pedro Magalhães, Andres Lö...
HASKELL
2009
ACM
13 years 11 months ago
Alloy: fast generic transformations for Haskell
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
Neil C. C. Brown, Adam T. Sampson
TOSEM
1998
64views more  TOSEM 1998»
13 years 4 months ago
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs
Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Ch...
ECOOP
2011
Springer
12 years 4 months ago
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...
Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuti...
ICFEM
2010
Springer
13 years 3 months ago
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
Scott West, Sebastian Nanz, Bertrand Meyer