This book introduces students to the formal methods of specifying the syntax and semantics of programming languages. For syntax, context-free grammars (BNF) and regular expressions are covered. For semantics, the methods of algebraic semantics, denotational semantics and action semantics are covered. Students should learn how to understand formal specifications of programming languages, how to write such specifications and how they may inform the process of language design. The text...
US$ 3.75 shipping within U.S.A.
Destination, rates & speedsSeller: HPB-Red, Dallas, TX, U.S.A.
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_393485579
Quantity: 1 available