Ghezzi, Carlo <br/><br/>
Programming language concepts /  
Carlo Ghezzi, Mehdi Jazayeri.  
 - 3rd 
 - New York :  John Wiley and Sons,  1998 
 - 427 p. 
<br/><br/>CONTENIDO<br/>1 Introduction 1<br/>1.1 Software development process 1<br/>1.2 Languages and software development environments 4<br/>1.3 Languages and software design methods 5<br/>1.4 Languages and computer architecture 8<br/>1.5 Programming language qualities 10<br/>1.6 A brief historical perspective 14<br/>1.7 A bird's-eye view of programming language concepts 23<br/>1.8 Bibliographic notes 31<br/>1.9 Exercises 32<br/>2 Syntax and semantics 33<br/>2.1 Language definition 34<br/>2.2 Language processing 46<br/>2.3 Variables 50<br/>2.4 Routines 61<br/>2.5 Aliasing and overloading 67<br/>2.6 An abstract semantic processor 69<br/>2.7 Run-time structure 72<br/>2.8 Bibliographic notes 106<br/>2.9 Exercises 107<br/>3 Structuring the data 111<br/>3.1 Built-in types and primitive types 112<br/>3.2 Data aggregates and type constructors 115<br/>3.3 User-defined types and abstract data types 128<br/>3.4 Type systems 136<br/>3.5 The type structure of representative languages 149<br/>3.6 Implementation models 160<br/>3.7 Bibliographic notes 169<br/>3.8 Exercises 170<br/>4 Structuring the computation 173<br/>4.1 Expressions and statements 174<br/>4.2 Conditional execution and iteration 179<br/>4.3 Routines 186<br/>4.4 Exceptions 192<br/>4.5 Pattern matching 207<br/>4.6 Nondeterminism and backtracking 210<br/>4.7 Event-driven computations 212<br/>4.8 Concurrent computations 213<br/>4.9 Bibliographic notes 235<br/>4.10 Exercises 236<br/>5 Structuring the program 239<br/>5.1 Software design methods 241<br/>5.2 Concepts in support of modularity 242<br/>5.3 Language features for programming in the large 249<br/>5.4 Generic units 275<br/>5.5 Final remarks 281<br/>5.6 Bibliographic notes 282<br/>5.7 Exercises 282<br/>6 Object-oriented languages 285<br/>6.1 Concepts of object-oriented programming 287<br/>6.2 Inheritance and the type system 293<br/>6.3 Object-oriented features in programming languages 302<br/>6.4 Final remarks 327<br/>6.5 Bibliographic notes 327<br/>6.6 Exercises 329<br/>7 Functional programming languages 333<br/>7.1 Characteristics of imperative languages 334<br/>7.2 Mathematical and programming functions 335<br/>7.3 Principles of functional programming 336<br/>7.4 Representative functional languages 342<br/>7.5 Functional programming in C++ 363<br/>7.6 Final remarks 368<br/>7.7 Bibliographic notes 368<br/>7.8 Exercises 369<br/>8 Logic and rule-based languages 371<br/>8.1 "What" versus "how": Specification versus implementation 371<br/>8.2 Principles of logic programming 377<br/>8.3 PROLOG 389<br/>8.4 Functional programming versus logic programming 393<br/>8.5 Rule-based languages 395<br/>8.6 Bibliographic notes 398<br/>8.7 Exercises 399<br/>9 Languages in context 402<br/>9.1 Execution context 403<br/>9.2 Development context 405<br/>9.3 Final remarks 406<br/>9.4 Bibliographic notes 406 
<br/><br/><label>ISBN: </label>0471104264 
<br/><br/><label>Subjects--Topical Terms: </label><br/>SYNTAX<br/>SEMANTICS<br/>STRUCTURING THE DATA<br/>STRUCTURING THE COMPUTATION<br/>OBJECT-ORIENTED LANGUAGES<br/>FUNCTIONAL PROGRAMMING LANGUAGES<br/>LOGIC LANGUAGES<br/>RULE-BASED LANGUAGES
<br/><br/><label>Universal Decimal Class. No.: </label>004.43 G343 EN 1998