Peter van Emde Boas  Home/Search
Context Related
| wins.uva.nl/pub/th...T9702.text.ps.gz wins.uva.nl/resear...199702.text.ps.gz wins.uva.nl/resear...T9702.text.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math...www.wins.uva.nl (more) From: fermivista.math...www.wins.uva.nl (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Inspection of the current literature on Design Patterns shows that the Prime Directive for this community is Pragmatics. It hardly matters what patterns are, or how Patterns are represented formally or syntactically. What does matter is their role in enhancing the reuse of good solutions to recurring problems. In this article I want to show that minimal assumptions about the pragmatic use of Patterns suffice to show that Design Patterns form just another formal language, which can be shown to... (Update)
Context of citations to this paper: More
...years OOPSLA at Atlanta may recognize this argument. Last year I used it to establish that Design Patterns populate a formal language. [4] As long as the WHY question is unanswered, the HOW question is meaningless. George, System Development manager at Goodies Industry...
...Vlissides [9] has also named his article: Multicast Observer = Typed Message , suggesting subtraction between sets. van Emde Boas [25] describes how, using effective encoding, all programs that can be written in potential object languages comprise an enumerable,...
Cited by: More
Formalizing UML; Mission Impossible? - Boas (1998) (Correct)
Active bibliography (related documents): More All
0.3: Arguments and Results - Noble (1997) (Correct)
0.3: Emergent Optimization in Test Driven Design - Michael Feathers Object (2002) (Correct)
0.2: On Quantum Computation Theory - van Dam (2002) (Correct)
Similar documents based on text: More All
0.3: Games in the Classroom - Boas (1999) (Correct)
0.1: Languages of Perception - Dastani (1998) (Correct)
0.1: Computational Pitfalls in Tractable Grammatical Formalisms - Trautwein (1995) (Correct)
BibTeX entry: (Update)
van Emde Boas, P. Resistance is Futile; Formal linguistic observations on design patterns , rep. ILLC-CT-97-02, Feb 1997; see: http://www.wins.uva.nl/research/illc/ResearchReports/CT97 -02.text.ps.gz 4 patterns which seem to convey semantic meaning in a drawing which is not intended by the designer. http://citeseer.ist.psu.edu/vanemdeboas97resistance.html More
@misc{ boas97resistance,
author = "v Boas",
title = "Resistance is Futile; Formal linguistic observations on design patterns",
text = "van Emde Boas, P. Resistance is Futile; Formal linguistic observations
on design patterns , rep. ILLC-CT-97-02, Feb 1997; see: http://www.wins.uva.nl/research/illc/ResearchReports/CT97
-02.text.ps.gz 4 patterns which seem to convey semantic meaning in a drawing
which is not intended by the designer.",
year = "1997",
url = "citeseer.ist.psu.edu/vanemdeboas97resistance.html" }
Citations (may not include all citations):2003 The Art of Computer Programming (context) - Knuth - 1968
1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
773 Reducibility among Combinatorial Problems (context) - Karp - 1972
660 An Introduction to Kolmogorov Complexity and its Application.. - Ming - 1993
534 The complexity of theorem proving procedures (context) - Cook - 1971
343 Introduction to Metamathematics (context) - Kleene - 1952
259 Elements of the Theory of Computation (context) - Lewis, Papadimitriou - 1981
254 Elements of Reusable Object-Oriented Software (context) - Gamma, Helm et al. - 1995
229 Theory of Recursive Functions and Effective Computability (context) - Rogers - 1967
127 with an application to the entscheidungsproblem (context) - Turing - 1936
117 The Timeless Way of Building (context) - Ch - 1979
78 Programming Pearls (context) - Bentley - 1986
44 Problems of Information Transmission (context) - Levin - 1973
38 Pattern Languages of Program Design (context) - Vlissides, Coplien et al. - 1996
33 Computers and Intractability; a Guide to the Theory of NP-co.. (context) - Garey, Johnson - 1979
32 Machine models and simulations (context) - Boas - 1990
31 Computability and Unsolvability (context) - Davis - 1958
16 On non-computable functions (context) - Rado - 1962
12 Implementation Patterns for the Observer Pattern (context) - Kim, Benner
8 CSLI Lecture Notes (context) - Knuth - 1992
5 A Catalogue of Complexity Classes (context) - Johnson - 1990
3 Lazy Optimization: Patterns for Efficient Smalltalk Programm.. (context) - Auer, Beck
1 Tales from the Software Community (context) - Gabriel - 1996
1 Star Trek; First Contact (context) - Dillard - 1997
1 Origins and Directions (context) - Greibach - 1981
1 More Programming Pearls; Confessions of a Coder (context) - Bentley - 1988
1 A Pattern Language; Towns (context) - Ch - 1977
Documents on the same site (http://fermivista.math.jussieu.fr/http/www.wins.uva.nl.html): More
Forcing in Finite Structures - Zambella (1996) (Correct)
From Box to TEX: An algebraic approach to the construction .. - van den Brand, Visser (1994) (Correct)
Data Flow Analysis for Reverse Engineering - Moonen (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC