Sciweavers

487 search results - page 4 / 98
» Aspect-oriented programming with type classes
Sort
View
PHOENIX
1991
13 years 11 months ago
Type Classes are Signatures of Abstract Types
Konstantin Läufer, Martin Odersky
ISSTA
2006
ACM
14 years 1 months ago
A regression tests selection technique for aspect-oriented programs
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
Guoqing Xu
APLAS
2006
ACM
14 years 1 months ago
Principal Type Inference for GHC-Style Multi-parameter Type Classes
Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey
AOSD
2007
ACM
13 years 11 months ago
A static aspect language for checking design rules
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
Clint Morgan, Kris De Volder, Eric Wohlstadter
ASPLOS
2006
ACM
14 years 1 months ago
Type inference for unboxed types and first class mutability
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
Swaroop Sridhar, Jonathan S. Shapiro