7557 search results - page 101 / 1512 » Constraints as a design pattern |
140
click to vote
HASKELL
2005
ACM
16 years 4 hour 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...
179
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
156
click to vote
ICWE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. It is more convenient to talk about changes in a domainspecific way than to formulate them at the programming construct level or—even worse—purely lexical level. Usi...
156
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
182
click to vote
EDOC
2006
IEEE
16 years 15 days ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...