Literaturverzeichnis [AC96] [Alm97] [BA90] [Bla94] [BNS99] [BOSW98] [Bud91] [Cox86] [CPN98] [Eng97] [ES90] [Far98] [Gea97] [GHJV95] [GJS96] [GK96] M. Abadi, L. Cardelli: A Theory of Objects. Springer-Verlag, 1996. P. S. Almeida: Balloon types: Controlling sharing of state in data types. In M. Ak§it, S. Matsuoka (Hrsg.): ECOOP '97: Object-Oriented Programming, Lecture Notes in Computer Science 1241, S. 32-59. Springer-Verlag, 1997. M. Ben-Ari: Principles of Concurrent and Distributed Programming. Prentice Hall,1990. G. Blaschek: Object-Oriented Programming with Prototypes. Springer-Ver- lag, 1994. R. Ben-Natan, O. Sasson: IBM San Francisco Developer's Guide. McGraw- Hill,1999. G. Bracha, M. Odersky, D. Stoutamire, P. Wadler: Making the future safe for the past: Adding genericity to the Java programming language. In OOPSLA'98, Conference Proceedings, ACM SIGPLAN Notices, 33(10), S. 183-200. ACM Press and Addison-Wesley, 1998. T. Budd: An Introduction to Object-Oriented Programming. Addison-Wes- ley, 1991. J. Crow, S. Owre, J. Rushby, N. Shankar, M. Srivas: A tutorial introduction to PVS. Technical report, SRI International, Menlo Park, CA 94025 USA, 1995. B. J. Cox: Object-Oriented Programming: An Evolutionary Approach. Addi- son-Wesley, 1986. D. G. Clarke, J. M. Potter, J. Noble: Ownership types for flexible ali- as protection. In OOPSLA'98, Conference Proceedings, ACM SIGPLAN Notices, 33(10), S. 48-64. ACM Press and Addison-Wesley, 1998. R. Englander: Developing Java Beans. O'Reilly, 1997. M. A. Ellis, B. Stroustrup: The Annotated C++ Reference Manual. Addison- Wesley, 1990. J. Farley: Java Distributed Computation. O'Reilly, 1998. D. M. Geary: Graphic Java: Mastering the AWT. Prentice Hall, 1997. E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995. J. Gosling, B. Joy, G. Steele: The Java Language Specification. Addison-Wes- ley, 1996. S. J. Goldsack, S. J. H. Kent: Formal Methods and Object Technology. Sprin- ger-Verlag, 1996.
13
Embed
Literaturverzeichnis - link.springer.com978-3-662-08171-6/1.pdf · Literaturverzeichnis 341 J. Noble, J. Vitek, ... eng kooperierende Bausteine, ... hat-ein-Beziehung,102 hat_geburtstag,38,145
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Literaturverzeichnis
[AC96]
[Alm97]
[BA90]
[Bla94]
[BNS99]
[BOSW98]
[Bud91]
[Cox86]
[CPN98]
[Eng97]
[ES90]
[Far98]
[Gea97]
[GHJV95]
[GJS96]
[GK96]
M. Abadi, L. Cardelli: A Theory of Objects. Springer-Verlag, 1996.
P. S. Almeida: Balloon types: Controlling sharing of state in data types. In M. Ak§it, S. Matsuoka (Hrsg.): ECOOP '97: Object-Oriented Programming, Lecture Notes in Computer Science 1241, S. 32-59. Springer-Verlag, 1997.
M. Ben-Ari: Principles of Concurrent and Distributed Programming. Prentice Hall,1990.
G. Blaschek: Object-Oriented Programming with Prototypes. Springer-Verlag, 1994.
R. Ben-Natan, O. Sasson: IBM San Francisco Developer's Guide. McGrawHill,1999.
G. Bracha, M. Odersky, D. Stoutamire, P. Wadler: Making the future safe for the past: Adding genericity to the Java programming language. In OOPSLA'98, Conference Proceedings, ACM SIGPLAN Notices, 33(10), S. 183-200. ACM Press and Addison-Wesley, 1998.
T. Budd: An Introduction to Object-Oriented Programming. Addison-Wesley, 1991.
J. Crow, S. Owre, J. Rushby, N. Shankar, M. Srivas: A tutorial introduction to PVS. Technical report, SRI International, Menlo Park, CA 94025 USA, 1995.
B. J. Cox: Object-Oriented Programming: An Evolutionary Approach. Addison-Wesley, 1986.
D. G. Clarke, J. M. Potter, J. Noble: Ownership types for flexible alias protection. In OOPSLA'98, Conference Proceedings, ACM SIGPLAN Notices, 33(10), S. 48-64. ACM Press and Addison-Wesley, 1998.
R. Englander: Developing Java Beans. O'Reilly, 1997.
M. A. Ellis, B. Stroustrup: The Annotated C++ Reference Manual. AddisonWesley, 1990.
J. Farley: Java Distributed Computation. O'Reilly, 1998.
D. M. Geary: Graphic Java: Mastering the AWT. Prentice Hall, 1997.
E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
J. Gosling, B. Joy, G. Steele: The Java Language Specification. Addison-Wesley, 1996.
S. J. Goldsack, S. J. H. Kent: Formal Methods and Object Technology. Springer-Verlag, 1996.
340 Literaturverzeichnis
[Goo99]
[GR89]
[HC97]
[HC98]
[Hoa74]
[HS97]
ULHB88]
ULMPH99]
[Kee89]
[KR88]
[Kuh76]
[Lam88]
[Lea97]
[Lip91] [LM98]
[LW94]
[Mey88]
[Mey92]
[MMPH99]
[MMPN93]
[Mos98]
[MPH98]
G. Goos: Vorlesungen iiber Informatik, Band 2. Springer-Verlag, 1999.
A. Goldberg, D. Robson: SmaliTalk 80: The Language. Addison-Wesley, 1989.
C. S. Horstmann, G. Cornell: Core Java 1.1, Volume I - Fundamentals. Prentice Hall, 1997.
C. S. Horstmann, G. Cornell: Core Java 1.1, Volume II - Advanced Features. Prentice Hall, 1998.
C. A. R. Hoare: An operating system structuring concept. Communications of the ACM, 17:549-557. Oktober 1974.
B. Henderson-Sellers: A Book of Object-Oriented Knowledge. Prentice Hall, 1997.
E. Jul, H. M. Levy, N. C. Hutchinson, A. Black: Fine-grained mobility in the Emerald system. ACM Transactions on Computer Systems, 6(1):109-133. Februar 1988.
B. Jacobs, G. T. Leavens, P. Muller, A. Poetzsch-Heffter: Formal techniques for Java programs. In A. Moreira, D. Demeyer (Hrsg.): ObjectOriented Technology. ECOOP'99 Workshop Reader, Lecture Notes in Computer Science 1743, S. 97-103. Springer-Verlag, 1999.
S. E. Keene: Object-Oriented Programming in COMMON LISP - A Programmer's Guide to CLOS. Addison-Wesley, 1989.
B. W. Kernighan, D. M. Ritchie: The C Programming Language. Prentice Hall,1988.
T. S. Kuhn: Die Struktur wissenschaftlicher Revolutionen. Suhrkamp, 1976.
G. Lamprecht: SIMULA - Einftihrung in die Programmiersprache, 3. Auflage. Vieweg Verlag, 1988.
D. Lea: Concurrent Programming in lava: Design Principles and Patterns. Addison-Wesley, 1997.
S. B. Lippman: C++ Primer, 2nd edition. Addison-Wesley, 1991.
G. T. Leavens, T. D. Millstein: Multiple dispatch as dispatch on tuples. In OOPSLA'98, Conference Proceedings, ACM SIGPLAN Notices, 33(10), S. 374-387. ACM Press and Addison-Wesley, 1998.
B. Liskov, J. Wing: A behavioral notion of sub typing. ACM Transactions on Programming Languages and Systems, 16(6):1811-1841,1994.
B. Meyer: Object-Oriented Software Construction. Prentice Hall, 1988.
B. Meyer: Design by contract. In D. Mandrioli, B. Meyer (Hrsg.): Advances in Object-Oriented Software Engineering. Prentice Hall, 1992.
P. Muller, J. Meyer, A. Poetzsch-Heffter: Making executable interface specifications more expressive. In C. H. Cap (Hrsg.): JIT '99, JavaInformations-Tage 1999, Informatik aktuell. Springer-Verlag, 1999.
O. L. Madsen, B. Meller-Pedersen, K. Nygaard: Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, 1993.
H. Mossenbock: Objektorientierte Programmierung in Oberon-2, 3. Auflage. Springer-Verlag, 1998.
P. Muller, A. Poetzsch-Heffter: Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. In C. H. Cap (Hrsg.): lIT '98, JavaInformations-Tage 1998, Informatik aktuell. Springer-Verlag, 1998.
[NVP98]
[OW97]
[RS92]
[Smo95]
[SOM94]
[Weg87]
Literaturverzeichnis 341
J. Noble, J. Vitek, J. M. Potter: Flexible alias protection. In E. Jul (Hrsg.): ECOOP '98: Object-Oriented Programming, Lecture Notes in Computer Science 1445, S. 158-185. Springer-Verlag, 1998.
M. Odersky, P. Wadler: Pizza into java: Translating theory into practice. In The 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, 1997.
L. Rapanotti, A. Socorro: Introducing FOOPS. Technical report PRG-TR-28-92, Oxford University, Computing Laboratory, November 1992.
G. Smolka: The Oz programming model. In J. van Leeuwen (Hrsg.): Computer Science Today, Lecture Notes in Computer Science 1000, S. 324-343. Springer-Verlag, 1995.
C. Szypersky, S. Omohundro, S. Murer: Engineering a programming language: The type and class system of Sather. In J. Gutknecht (Hrsg.): Programming Languages and System Architectures, Lecture Notes in Computer Science 782, S. 208-227. Springer-Verlag, 1994.
P. Wegner: Dimensions of object-based language design. In OOPSLA'87, Conference Proceedings, ACM SIGPLAN Notices, 22(12), S. 168-182. ACM Press and Addison-Wesley, 1987.
Stichwortverzeichnis
Kursiv gesetzte Seitenzahlen irn Stichwortverzeichnis verweisen auf die Textstellen, die das Stichwort am besten erHi.utem.
! =, ungleich, 26 ==, gleich, 26, 68, 321
A, 125, 154, 155,330 A_doch_Null, 159 A_nicht_Null,159 Abfangen von Ausnahmen, 32 abheben, 273 Ablaufverhalten von Threads, 255 ablegen, 275 abrupte Terminierung - der Ausfuhrung, 32 - der Auswertung, 28 Abstract Window Toolkit, 197, 202, 203,