Sciweavers

487 search results - page 15 / 98
» Aspect-oriented programming with type classes
Sort
View
JOT
2006
111views more  JOT 2006»
13 years 7 months ago
A Cohesion Measure for Aspects
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
Jean-François Gélinas, Mourad Badri,...
GPCE
2008
Springer
13 years 8 months ago
Lightweight dependent classes
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...
Tetsuo Kamina, Tetsuo Tamai
JOT
2007
102views more  JOT 2007»
13 years 7 months ago
Type Access Analysis: Towards Informed Interface Design
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
Friedrich Steimann, Philip Mayer
GI
2004
Springer
14 years 28 days ago
Type Safe Programming of XML-based Applications
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
Martin Kempa, Volker Linnemann
IFL
2001
Springer
137views Formal Methods» more  IFL 2001»
13 years 12 months ago
A Generic Programming Extension for Clean
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
Artem Alimarine, Marinus J. Plasmeijer