Concepts of Programming Languages

760 Chapter 16 Logic Programming Languages What is the basic concept of declarative semantics? What does it mean for a language ...

Programming Exercises 761 Write the following English conditional statements as Prolog headed Horn clauses: a. If Fred is the ...

This page intentionally left blank ...

763 ACM. (1979) “Part A: Preliminary Ada Reference Manual” and “Part B: Rationale for the Design of the Ada Programming Language ...

764 Bibliography Backus, J., F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. ...

Bibliography 765 Correa, N. (1992) “Empty Categories, Chain Binding, and Parsing.” pp. 83–121, Principle-Based Parsing. Eds. R. ...

766 Bibliography Fischer, C.N., and R. J. LeBlanc. (1980) “Implementation of Runtime Diagnostics in Pascal.” IEEE Transactions o ...

Bibliography 767 Hoare, C. A. R., and N. Wirth. (1973) “An Axiomatic Definition of the Programming Language Pascal.” Acta Inform ...

768 Bibliography Knuth, D. E. (1968b) The Art of Computer Programming, Vol. I, 2e. Addison-Wesley, Reading, MA. Knuth, D. E. (19 ...

Bibliography 769 Newell, A., and H. A. Simon. (1956) “The Logic Theory Machine—A Complex Information Processing System.” IRE Tra ...

770 Bibliography Steele, G. L., Jr. (1990) Common LISP The Language, 2nd ed. Digital Press, Burlington, MA. Stoy, J. E. (1977) D ...

Bibliography 771 Wilkes, M. V., D. J. Wheeler, and S. Gill. (1951) The Preparation of Programs for an Electronic Digi tal Comput ...

This page intentionally left blank ...

773 A Absolute addressing manual, 207 pointers and, 297 problems with, 40, 42 Abstract cells, 209 Abstract classes in Ada, 561–5 ...

774 Index Activation records, 444–445 Active subprograms characteristics of, 389 in referencing environments, 231 stack-dynamic ...

Index 775 evaluation of, 269 formal parameters, 394 implementation of, 269–272 indices and, 260–262 introduction to, 259–260 jag ...

776 Index Binding (continued) lifetime of, 214–215 overview of, 209–210 shallow, 418–419 stack-dynamic variables in, 215–216 sta ...

Index 777 systems software in, 6 trade-offs in, 23 Call chains, 450 Calls dynamic binding of method, 566–568 indirect, 419–421 s ...

778 Index Concurrency (continued) cooperation synchronization in, 586–589, 591–592 cooperation synchronization in, Ada, 599 coop ...

Index 779 Deep binding, 418–419 Deferred reference counting, 299–300 Definitions in COBOL, 60 of functions, 682–684 in subprogra ...