Browse by Tags

• ADT
• pattern-matching
• rules

• ADTs, OOP, rules and Pattern-matching (1)

  Abstract (or algebraic) Data Types ( ADT s) are well-known modeling techniques for specification of data structures in an algebraic style. Such specifications result useful because they allow formal reasoning on Software at the specification level. That... Posted Jun 06 2008, 11:57 PM by CarlosLoria with | with no comments Filed under: Refactoring, rules, ADT, pattern-matching