Formal syntax and semantics of programming languages-(E-BOOK) a laboratory based approach / Kenneth Slonneger, Barry L. Kurtz.
Publisher: Reading, Mass. : Addison-Wesley Pub. Co., c1995Description: xviii, 637 p. : ill. ; 25 cmISBN: 0201656973 :Subject(s): Programming languages (Electronic computers) -- Semantics | Programming languages (Electronic computers) -- Syntax | E-BOOKDDC classification: 005.13/1
Contents:
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)
| Item type | Current location | Home library | Collection | Call number | URL | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | NFIC | 005.131 STO (Browse shelf) | Link to resource | Available | MCSEB-1373 |
Total holds: 0
Browsing Military College of Signals (MCS) shelves Close shelf browser
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)
There are no comments on this title.