Small peice of loose paper declaring that this book is a review copy. Plus a loose packing slip. Very minor shelfwear. ; *Semantics of Programming Languages and Model Theory* (Algebra, Logic and Applications, Vol. 5) delves into the relationship between programming language semantics and model theory. The book focuses on formal methods for understanding programming languages using logical and algebraic frameworks. It covers topics such as denotational semantics, algebraic structures, and model-theoretic techniques, providing theoretical foundations for how programming languages are interpreted and analyzed. It is a valuable resource for researchers and students interested in the intersection of logic, algebra, and computer science. ; 15.7 x 23. 2 x 3.2 cm ; vii, 366 pages.

Seller Inventory # LCB62270

Contact seller

Report this item

Bibliographic Details

Title: Semantics of Programming Languages and Model Theory - Algebra, Logic and Applications (5)
Publisher: CRC Press, Singapore
Publication Date: 1993
Language: English
ISBN 10: 2881249353
ISBN 13: 9782881249358
Binding: Hardcover
Edition: (?); (?).
Condition: Very Good+
Dust Jacket Condition: No Dust Jacket

About this title

Synopsis

A conference on Semantics of Programming Languages and Model Theory was held at the International Conference and Research Center for Computer Science, SchloB D�gstuhl, during June 23-29, 1991. Participants from 10 countries represented a wide range of interests on the subject where the interaction of different fields is so fruitful. In particular, methods from algebra, logic and order theory were used for the solution of problems from denotational semantics and domain theory; this was reflected in some talks. Several other talks treated topics ranging from functional programming languages and database models to linear logic, boolean algebras and model theory. A number of lectures dealt with the quickly developing area of evolving algebras and in particular with evolving algebra semantics of PROLOG and its relatives. This volume contains papers presented at the conference and a few others submitted by colleagues unable to attend.

About the Author

Manfred Droste Universitiit Gesamthochschule, Essen Germany and Yuri Gurevich University of Michigan, Ann Arbor, USA.

"About this title" may belong to another edition of this title.

Store Description

Please come visit our shop in Machynlleth or browse our stock online. We carry a wide range of academic books on all subjects, such as history, philosophy, psychology, psychiatry, mathematics, physics, geography, political science, political philosophy, religious studies, military history and many other subjects. We also carry antiquarian stock and general stock, especially cookery. We are always interested in collections, especially on academic subjects.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Literary Cat Books
United Kingdom

Sale & Shipping Terms

Terms of Sale

All orders of 50 pounds and higher will be shipped with mandatory insurance added.

We make every effort to describe each book or print accurately. However, we accept that an item might not prove to be as you expected it, or has been damaged in transport. We therefore accept returns within 14 days of receipt of the item, upon prior notification. We will provide a full refund upon receipt of the returned item by us.

Shipping Terms

Orders usually ship within 2/3 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know if extra shipping is required.

Overseas postage will be sent by airmail if you select priority and surface if you select standard postage. Surface mail to the United States or Canada can take up to six weeks, and up to twelve weeks to Australia and New Zealand.

We use only good quality materials and the utmost care when packaging our books to ensure they arrive in the best possible condition.

In the unlikely event that your book does not arrive within the specified shipping period, please feel free to contact us direct. Please provide your name, address and the details of your order.