Synthesizing object-oriented and functional design to promote re-use

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1445, Issue , 1998, Pages 91-113

  Krishnamurthi, Shriram ^a   Felleisen, Matthias ^a   Friedman, Daniel P ^a,b  

^a Rice University   (United States)

^b INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DESIGN; FUNCTIONAL PROGRAMMING;

COMPOSITE DESIGN PATTERN; DATA SET; DESIGN STRATEGIES; FUNCTIONAL DESIGN; OBJECT ORIENTED; PROGRAM DESIGN;

OBJECT ORIENTED PROGRAMMING;

EID: 84957642917     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0054088     Document Type: Conference Paper

References (33)

1. Baumgartner, G., K. Laufer and V. F. Russo. On the interaction of object-oriented design patterns and programming languages. Technical Report CSD-TR-96-020, Purdue University, Feburary 1996.
2. Cartwright, R. S. and M. Felleisen. Extensible denotational language specifications. In Hagiya, M. and J. C. Mitchell, editors, Symposium on Theoretical Aspects of Computer Science, pages 244-272. Springer-Verlag, April 1994. LNCS 789.
3. Chnger, W. and J. Rees. The revised4 report on the algorithmic language Scheme. ACM Lisp Pointers, 4(3), July 1991.
4. Cook, W. R. Object-oriented programming versus abstract data types. In Foundations of Object-Oriented Languages, pages 151-178, June 1990.
5. Cophen, J. O. and D. C. Schmidt, editors. Pattern Languages of Program Design. Addison-Wesley, Reading, MA, 1995.
6. Duggan, D. and C. Sourelis. Mixin modules. In ACM SIGPLAN International Conference on Functional Programming, pages 262-273, May 1996.
7. Eifrig, J., S. Smith and V. Trifonov. Type inference for recursively constrained types and its application to OOP. Mathematical Foundations of Program Semantics, 1995.
8. Espinosa, D. Building interpreters by transforming stratified monads. Unpublished manuscript, June 1994.
9. Felleisen, M. and D. P. Friedman. A Little Java, A Few Patterns. MIT Press, 1998.
10. Findler, R. B. Modular abstract interpreters. Unpublished manuscript, Carnegie Mellon University, June 1995.
11. Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs, 1997.
12. Flatt, M. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997.
13. Gamma, E., R. Helm, R. Johnson and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Personal Computing Series. Addison-Wesley, Reading, MA, 1995.
14. Gosling, J., B. Joy, and G. L. Steele. The Java Language Specification. Addison-Wesley, 1996.
15. Hudak, P. and M. P. Jones. Haskell vs. Ada vs. C++ vs. Awk vs. An experiment in software prototyping productivity. Research Report YALEU/DCS/RR-1049, Department of Computer Science, Yale University, New Haven, CT, USA, October 1994.
16. Hudak, P., S. Peyton Jones and P. Wadler. Report on the programming language Haskell: a non-strict, purely functional language. ACM SIGPLAN Notices, 27(5), May 1992. Version 1.2.
17. Kernighan, B. W. and D. M. Ritchie. The C Programming Language. Prentice Hall, 1988.
18. Kuhne, T. The translator pattern—external functionality with homomorphic mappings. In Proceedings of TOOLS 23, USA, pages 48-62, July 1997.
19. Liang, S., P. Hudak and M. Jones. Monad transformers and modular interpreters. In Symposium on Principles of Programming Languages, pages 333-343, 1992.
20. Milner, R., M. Tofte and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990.
21. Odersky, M. and P. Wadler. Pizza into Java: Translating theory into practice. In Symposium on Principles of Programming Languages, pages 146-159, Janurary 1997.
22. Palsberg, J. Efficient inference of object types. Information & Computation, 123(2):198-209, 1995.
23. Palsberg, J. and C. B. Jay. The essence of the Visitor pattern. Technical Report 05, University of Technology, Sydney, 1997.
24. Palsberg, J., C. Xiao and K. Lieberherr. Efficient implementation of adaptive software. ACM Transactions on Programming Languages and Systems, 17(2):264-292, 1995.
25. Portner, N. Flexible command interpreter: A pattern for an extensible and language-independent interpreter system, 1995. Appears in [5].
26. Rem, D. Introduction aux objets. Unpublished manuscript, lecture notes for course de magistere, Ecole Normale Superieure, 1996.
27. Reynolds, J. C. User-defined types and procedural data structures as complementary approaches to data abstraction. In Schuman, S. A., editor, New Directions in Algorithmic Languages, pages 157-168. IFIP Working Group 2.1 on Algol, 1975.
28. Riehle, D. Composite design patterns. In ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, pages 218-228, 1997.
29. Seiter, L. M., J. Palsberg and K. J. Lieberherr. Evolution of object behavior using context relations. IEEE Transactions on Software Engineering, 1998.
30. Steele, G. L., Jr. Building interpreters by composing monads. In Symposium on Principles of Programming Languages, pages 472-492, Janurary 1994.
31. Stroustrup, B. The C++ Programming Language. Addison-Wesley, 1991.
32. Sun Microsystems. Java core reflection. API and Specification, 1997.
33. Thorup, K. K. Genericity in Java with virtual types. In European Conference on Object-Oriented Programming, pages 444-471, 1997.