550 search results - page 19 / 110 » The Language of the Visitor Design Pattern |
HASKELL
2005
ACM
14 years 1 months ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...
ITC
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...
ZUM
2005
Springer
14 years 1 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
ECOOP
1998
Springer
14 years 10 days ago
1998
Springer
There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firs...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...