Advanced Programming Methodologies (eBook)
382 Seiten
Elsevier Science (Verlag)
978-1-4832-6545-2 (ISBN)
Advanced Programming Methodologies consists of lecture demos and practical experiments from the Summer School on Advanced Programming Methodologies which took place in Rome, Italy, on September 17-24, 1987. The school focused on tools of advanced programming as well as theoretical foundations for software engineering. Problems connected with implementation and application of high-level programming languages are highlighted. Comprised of 11 chapters, this volume first looks at two software development projects at the Institute of Informatics of the University of Warsaw in Poland, with emphasis on the methodologies used in programming and implementation. The reader is then introduced to flexible specification environments; object-oriented programming; and Paragon's type hierarchies for data abstraction. Subsequent chapters focus on the inheritance rule in object-oriented programming; a functional programming approach to modularity in large software systems; database management systems; and relational algebra and fixpoint computation for logic programming implementation. The book also examines modules in high-level programming languages before concluding with a chapter devoted to storage management. This book is intended for computer programmers, undergraduate students taking various courses in programming, and advanced students of computer science.
Front Cover 1
Advanced Programming Methodologies 4
Copyright Page 5
Table
10
Preface 6
Contributors 8
Part One 12
Chapter 1. Development of Software from Algorithmic Specifications 12
1. Introduction 12
2 . Methodology of Programming 14
3. Specific Features of Loglan'82 25
4. Methodology of Implementation 29
5. Algorithmic Logic 32
6. An example of algorithmic methodology 41
7. The present and the future of Loglan project 49
Literature 49
Chapter 2. TOWARD FLEXIBLE SPECIFICATION ENVIRONMENTS 52
Abstract 52
Keywords and phrases 52
1. Introduction: Why are rigorous specification needed? 53
2. Why is specification difficult? 55
3. An example based on Data Flow Diagrams 57
4. An Object Oriented architecture for FDFD 76
5. Conclusions 83
Acknoledgements 84
References 84
Chapter 3. OBJECT ORIENTED PROGRAMMING: A SPECIALIZATION OF SMALLTALK? 88
1. Introduction 88
2. Communication 91
3. Classification 95
6. Conclusions 117
References 118
Chapter 4. Description and Evaluation of PARAGON'S Type Hierarchies for Data Abstraction 122
1. Goals of Paragon 122
2. Introduction to Paragon 125
3. Supporting Data Abstraction 128
4. A Retrospective 143
5. Summary 146
Bibliography 147
Chapter 5. On Inheritance Rule in Object Oriented Programming 152
1. Preface 152
2. Inheritance 158
3. One-level, Multi-level and Multiple Inheritance 163
References 174
CHAPTER 6. DERIVATION OF PROGRAMS WHICH TRAVERSE THEIR INPUT DATA ONLY ONCE 176
1. INTRODUCnON 176
2. AVOIDING MULTIPLE TRAVERSALS OF INPUT DATA: AN EXTENDED EXAMPLE 179
3. SYNERGISM BETWEEN LAMBDA ABSTRACTION AND TUPLING 188
4. CONCLUSIONS 193
5. ACKNOWLEDGEMENTS 194
6. REFERENCES 194
Chapter 7. Functional Programming Approach to Modularity in Large Software Systems 196
1. Introduction 196
2. LISP = I 198
3. Procedural Abstraction 204
4. Data Abstraction 209
Bibliography 215
CHAPTER 8.
216
1. Introduction 216
2. Database languages: Basic notions 218
3. Languages for record oriented models 220
4. Languages for the relational model 225
5. Current research issues 231
References 232
CHAPTER 9. RELATIONAL ALGEBRA AND FIXPOINT COMPUTATION FOR LOGIC PROGRAMMING IMPLEMENTATION 234
1. Introduction 234
2. Logic Programs 235
3. Implementation of logic programs 240
4. Rule Rewriting for Semi-Naive Fixpoint Computation 247
5. References 255
Part Two 234
Chapter 10.
258
1. Introduction 258
2. Module structure 261
3. Blocks 264
4. Procedures and Functions 273
5. Parameters 281
6. Formal Procedures 287
7. Addressable Modules 293
8. Packages 304
9.
308
10. Inheritance rule 320
11. Virtual operations 338
12. Signals and Handlers 342
Conclusions 348
References 349
Chapter 11. Storage Management 352
1. Introduction 352
2. Static allocation 354
3. Stack implementable Lan^ages 356
4. Heap 360
5. Garbage Handling 364
6. Conclusions 376
References 376
Index 378
Erscheint lt. Verlag | 10.5.2014 |
---|---|
Sprache | englisch |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Informatik ► Software Entwicklung ► Objektorientierung | |
ISBN-10 | 1-4832-6545-5 / 1483265455 |
ISBN-13 | 978-1-4832-6545-2 / 9781483265452 |
Haben Sie eine Frage zum Produkt? |
Größe: 15,6 MB
Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich