811 search results - page 8 / 163 » Refactoring Using Type Constraints |
JUCS
2006
13 years 8 months ago
2006
: This paper defines algorithms to automatically detect five types of bad smells that occur in aspect-oriented systems, more specifically those written using the AspectJ language. ...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
SCP
2010
13 years 7 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...