The item you selected is unavailable, but we found something similar.

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approac - Picture 1 of 1

Formal Syntax and Semantics of Programming Languages : A Laboratory Based Approach by Barry L. Kurtz and Kenneth Slonneger (1995, Trade Paperback)

Be the first towrite a review.

Half-Price-Books-Inc (26767)
98.8% positive feedback

Price:

$46.95

Free shipping

Estimated delivery Thu, May 16 - Mon, May 20

Returns:

60 days returns. Buyer pays for return shipping.

Condition:

Good

First Edition : False. They are shown above. Pages : 637. About hpb-red. Condition : Good.

About this product

Product Information

Adopting an informal presentation, this text presents the difficult subject area of Formal Methods.Aiming to make the work accessible and motivational, the authors approach the subject from a teaching/learning perspective rather than fromm the traditional and dominant research angle.

Product Identifiers

Publisher
Addison-Wesley Longman, Incorporated
ISBN-10
0201656973
ISBN-13
9780201656978
eBay Product ID (ePID)
1322395

Product Key Features

Author
Barry L. Kurtz, Kenneth Slonneger
Publication Name
Formal Syntax and Semantics of Programming Languages : a Laboratory Based Approach
Format
Trade Paperback
Language
English
Publication Year
1995
Type
Textbook
Number of Pages
592 Pages

Dimensions

Item Length
9.6in
Item Height
1.3in
Item Width
6.6in
Item Weight
32.9 Oz

Additional Product Features

Lc Classification Number
Qa76.7.S59 1995
Edition Number
1
Table of Content
1. Specifying Syntax. Grammars and BNF. The Programming Language Wren. Variants of BNF. Abstract Syntax. 2. Introduction To Laboratory Activities. Scanning. Logic Grammars. Parsing Wren. 3. Attribute Grammars. Concepts and Examples. An Attribute Grammar for Wren. Laboratory: Context Checking Wren. 4. Two-Level Grammars. Concepts and Examples. A Two-Level Grammar for Wren. Two-Level Grammars and Prolog. 5. Lambda Calculus. Concepts and Examples. Lambda Reduction. Laboratory : A Lambda Calculus Evaluator. 6. Self-Definition Of Programming Languages. Self-Definition of Lisp. Self-Definition of Prolog. 7. Translational Semantics. Concepts and Examples. Attribute Grammar Code Generation. Laboratory: Implementing Code Generation. 8. Traditional Operational Semantics. Concepts and Examples. SECD: An Abstract Machine. Laboratory: Implementing the SECD maching. Structural Operational Semantics: Introduction. Structural Operational Semantics: Expressions. Structural Operational Semantics: Commands. Laboratory: Implementing Structural Operational Semantics. 9. Denotational Semantics. Concepts and Examples. A Calculator Language. The Denotational Semantics of Wren. Laboratory: Implementing Denotational Semantics. Denotational Semantics with Environments. Checking Context-Sensitive Syntax. Continuation Semantics. 10. Domain Theory And Fixed-Point Semantics. Concepts and Examples. Domain Theory. Fixed-Point Semantics. Laboratory: Recursion in the Lambda Calculus. 11. Axiomatic Semantics. Concepts and Examples. Axiomatic Semantics for Wren. Axiomatic Semantics for Pelican. Proving Termination. Introduction to Program Derivation. 12. Algebraic Semantics. Concepts and Examples. Mathematical Foundations. Using Algebraic Specification. Algebraic Semantics for Wren. Laboratory: Implementing Algebraic Semantics. 13. Action Semantics. Concepts and Examples. Action Semantics of a Calculator. The Declarative Facet and Wren. The Reflective Facet and Pelican. Laboratory: Translating into Action Semantics. Logic Programming with Prolog. Functional Programming with Scheme. 0201656973T04062001
Copyright Date
1995
Target Audience
College Audience
Topic
Programming Languages / General
Lccn
94-004203
Dewey Decimal
005.13/1
Dewey Edition
20
Illustrated
Yes
Genre
Computers

All listings for this product

item 1 Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approac
$46.95
Free shipping
item 2 Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approac
$69.04
Free shipping
item 3 Formal Syntax and Semantics of Programming Languages by Kenneth Slonneger: Used
$79.30
Free shipping

Best Selling in Textbooks

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
4.6 out of 5 stars based on 15 product ratings
$35.70 New
$32.99 Used
Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)
5.0 out of 5 stars based on 14 product ratings
$29.99 New
---- Used
Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)
5.0 out of 5 stars based on 1 product rating
$19.98 New
$10.00 Used
Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable, and Maintainable Systems by Martin Kleppmann (2017, Trade Paperback)
4.9 out of 5 stars based on 17 product ratings
$18.24 New
$14.00 Used
Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)
4.2 out of 5 stars based on 5 product ratings
$20.98 New
$18.00 Used
Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)
5.0 out of 5 stars based on 4 product ratings
$19.80 New
$17.66 Used
Encyclopedia of Counseling : Master Review and Tutorial for the National Counselor Examination, State Counseling Exams, and the Counselor Preparation Comprehensive Examination by Howard Rosenthal (2017, Trade Paperback, Revised edition,New Edition)
4.9 out of 5 stars based on 17 product ratings
$22.99 New
$21.90 Used

Save on Textbooks

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new
$32.00
Trending at $42.48
International Building Code IBC 2021 International Code Council Paperback
$49.99
Trending at $63.99
Spiral: Desk Reference to the Diagnostic Criteria from DSM-5-TR
$9.99
Trending at $12.20
International Code Council Ser.: 2021 International Residential
$52.49
Trending at $68.00
National Electrical Code Handbook, 2023 Edition
$62.99
Trending at $69.00
National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK
$33.90
Trending at $36.40

Shop by category

Formal Syntax and Semantics of Programming Languages : A Laboratory Based Approach by Barry L. Kurtz and Kenneth Slonneger (1995, Trade Paperback)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

All listings for this product

item 1 Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approac

item 2 Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approac

item 3 Formal Syntax and Semantics of Programming Languages by Kenneth Slonneger: Used

Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)

Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)

Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable, and Maintainable Systems by Martin Kleppmann (2017, Trade Paperback)

Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)

Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)

Encyclopedia of Counseling : Master Review and Tutorial for the National Counselor Examination, State Counseling Exams, and the Counselor Preparation Comprehensive Examination by Howard Rosenthal (2017, Trade Paperback, Revised edition,New Edition)

Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new

International Building Code IBC 2021 International Code Council Paperback

Spiral: Desk Reference to the Diagnostic Criteria from DSM-5-TR

International Code Council Ser.: 2021 International Residential

National Electrical Code Handbook, 2023 Edition

National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK

You may also like

Computer & IT Nonfiction Paperbacks Books Programming Languages

Programming Languages Paperback Fiction & Nonfiction Books in English

Computer & IT Nonfiction Paperbacks Books Programming Languages Illustrated

Paperback Language Course

Nonfiction Programming Languages Paperbacks Books 1950-1999 Publication Year

Paperback Language Course in English