909 search results - page 52 / 182 » Generic Programming: An Introduction |
79
Voted
KBSE
1999
IEEE
15 years 3 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
187
Voted
POPL
2007
ACM
15 years 11 months ago
2007
ACM
XML programming involves idioms for expressing `structure shyness' such as the descendant axis of XPath or the default templates of XSLT. We initiate a discussion of the rela...
109
Voted
AGTIVE
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Since the systematic evolution of graph-like program models has become important in software engineering, graph transformation has gained much attention in this area. For...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
Generics offer significant software engineering benefits since they provide code reuse without compromising type safety. Thus generics will be added to the Java language in the...
82
Voted
MPC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...