1665 search results - page 188 / 333 » Design Patterns as Language Constructs |
163
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
This paper explores topic aspect (i.e., subtopic or facet) classification for English and Chinese collections. The evaluation model assumes a bilingual user who has found document...
158
click to vote
MSR
2006
ACM
16 years 7 days ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
182
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
161
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
The “zipper” is a well known design pattern for providing a cursorlike interface to a data structure. However, the classic treatise by Huet only scratches the surface of some ...
158
click to vote
ADBIS
2005
Springer
15 years 11 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...