Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach - Hardcover

Slonneger, Ken; Kurtz, Barry

Hardcover

ISBN 10: 0201656973 ISBN 13: 9780201656978

Verlag: Pearson, 1994

Inhaltsangabe

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Using a teaching/learning perspective rather than a research-oriented approach, an understanding of the meta-languages is accessible to anyone with a basic grounding in discrete mathematics and programming language concepts.
Throughout the book, valuable hands-on laboratory exercises provide the opportunity for practical application of difficult concepts. Various exercises and examples, implementing syntactic and semantic specifications on real systems, give students hands-on practice. Supplemental software is available on disk or via file transfer protocol. This book is suitable for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages.

Über diesen Titel

Über die Autorin bzw. den Autor

About Ken Slonneger

Ken Slonnegeris an Assistant Professor at the University of Iowa where he currently serves as the Associate Chair of the Department of Computer Science. After receiving his Ph.D. in Mathematics from the University of Illinois, Professor Slonneger taught for a number of years at the SUNY College at Fredonia, NY before coming to Iowa. His current research focuses on formal methods of speciying the semantics of programming languages and on making these methods more practical and easier to use.

Barry Kurtz is Professor and Head of Computer Science at Louisiana Tech University. He received his B.S. degree from the University of California, Riverside, and his Ph.D. from the University of California, Berkeley. As Principal Investigator on three National Science Foundation grants, Dr. Kurtz is an active researcher in the development of innovative curricula in Computer Science. He is also co-author of textbooks for introductory programmming and data structures courses.

0201656973AB04062001

Von der hinteren Coverseite

Formal Syntax and Semantics of Programming Languages is a text designed for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages. This unique text takes a teaching/learning perspective rather than the traditional, research-oriented approach.

This text is designed to present the typically difficult subject area of formal methods via an informal presentation. This text is accessible to students who have a basic grounding in discrete mathematics. A laboratory component provides the opportunity for practical application of difficult concepts.

Details zur Ausgabe

• Verlag: Pearson
• Erscheinungsdatum: 1994
• Sprache: Englisch
• ISBN 10: 0201656973
• ISBN 13: 9780201656978
• Einband: Gebundene Ausgabe
• Anzahl der Seiten: 592
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Riccardo Bacigalupo; riccardo.bacigalupo@sanoma.it; ; Sanoma Italia Via Arconati, 1 �; Milano; 20135; Italien