TY - GEN AU - Slonneger,Kenneth AU - Kurtz,Barry L. TI - Formal syntax and semantics of programming languages-(E-BOOK): a laboratory based approach SN - 0201656973 : U1 - 005.13/1 PY - 1995/// CY - Reading, Mass. PB - Addison-Wesley Pub. Co. KW - Programming languages (Electronic computers) KW - Semantics KW - Syntax KW - E-BOOK N1 - Specifying Syntax (Page-1) Introduction To Laboratory Activities (Page-31) Attribute Grammars (Page-59) Two-Level Grammars (Page-105) The Lambda Calculus (Page-139) Self-Definition Of Programming Languages (Page-167) Translational Semantics (Page-187)Traditional Operational Semantics (Page-223) Denotational Semantics (Page-271) Domain Theory And Fixed-Point Semantics (Page-341) Axiomatic Semantics 395 Algebraic Semantics (Page-443) Action Semantics(Page- 507) ER -