Programming Language Pragmatics
Scott, Michael; Aldrich, Jonathan
Language: English
Published by Morgan Kaufmann, 2025
- Softcover
- Used
Condition: Used - Very good
£ 47.68
Quantity: 1 available
Add to basketItem description from seller
Complete and clean. All pages present and readable, binding intact. Highlighting or writing is absent or limited to a handful of pages. No water damage. Cover and spine may show light shelf wear, edge bumping, or minor creasing. May have a remainder mark, stickers or sticker residue, or a previous owner's name. Access codes, CDs, DVDs, and other bundled supplements may not be included and should be assumed used or missing unless the listing explicitly states otherwise.
Seller Inventory # I5277C03018U
- Title
- Programming Language Pragmatics
- Author
- Scott, Michael; Aldrich, Jonathan
- Publisher
- Morgan Kaufmann
- Publication year
- 2025
- Condition
- Very Good
- Binding
- paperback
- Language
- English
- ISBN 10
- 0323999662
- ISBN 13
- 9780323999663
- Edition
- 5th or later Edition
- Item weight
- 53 ounces
- Dimensions
- 7x1x9
- Provides a complete re-write of the chapter on semantic analysis, using formal inference rules
- Includes a heavy revision of the chapter on type systems
- Presents significant updates to the chapters on composite types, object orientation, and code generation
- Covers new material on ownership types, safe concurrency, asynchronous programming, traits, move constructors, template “concepts,” the LLVM compiler infrastructure, and many other topics
"Synopsis" may belong to another edition of this title.
About the Author
Michael L. Scott is a professor and past Chair of the Computer Science Department at the University of Rochester. He is best known for work on synchronization and concurrent data structures: algorithms from his group appear in a wide variety of commercial and open-source systems. A Fellow of the ACM and the IEEE, he shared the 2006 Dijkstra Prize in Distributed Computing. In 2001 he received the University's Robert and Pamela Goergen Award for Distinguished Achievement and Artistry in Undergraduate Teaching.
Jonathan Aldrich works at the intersection of programming languages and software engineering. His research explores how the way we express software affects our ability to engineer software at scale. A particular theme of much of his work is improving software quality and programmer productivity through better ways to express structural and behavioral aspects of software design within source code.
Professor Aldrich has contributed to object-oriented typestate verification, modular reasoning techniques for aspects and stateful programs, and new object-oriented language models. For his work specifying and verifying architecture, he received a 2006 NSF CAREER award and the 2007 Dahl-Nygaard Junior Prize (press release, article). Right now he's excited to be working on the design of Wyvern, a new modularly extensible programming language.
"About the title" may belong to another edition of this title.
Shipping rates within U.S.A.
| Item | 4 to 10 business days | 2 to 5 business days |
|---|---|---|
| First item | £ 0.00 | £ 2.98 |
Payment methods
Store description
Top quality textbooks! Unbeatable prices!
Specialty
Mostly used textbooksSeller's business information
FREESIA LLC
2000 E 42ND ST STE C-351
ODESSA, TX U.S.A. 79762
Right of withdrawal
If you are a consumer you can withdraw from the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.
Information regarding the right of withdrawal
Statutory right to withdraw
You have the right to withdraw from this contract within 14 days without giving any reason.
The withdrawal period will expire after 14 days from the day on which you acquire, or a third party other than the carrier and indicated by you acquires, physical possession of the last good or the last lot or piece.
To exercise the right of withdrawal, electronically fill in and submit a clear statement on our website, under "My Purchases" in "My Account". We will communicate to you an acknowledgement of receipt of such a withdrawal on a durable medium (e.g. by e-mail) without delay.
To meet the withdrawal deadline, it is sufficient for you to send your communication concerning your exercise of the right of withdrawal before the withdrawal period has expired.
Effects of withdrawal
If you withdraw from this contract, we will reimburse to you all payments received from you, including the costs of delivery (except for the supplementary costs arising if you chose a type of delivery other than the least expensive type of standard delivery offered by us).
We may make a deduction from the reimbursement for loss in value of any goods supplied, if the loss is the result of unnecessary handling by you.
We will make the reimbursement without undue delay, and not later than 14 days after the day on which we are informed about your decision to withdraw from this contract.
We will make the reimbursement using the same means of payment as you used for the initial transaction, unless you have expressly agreed otherwise; in any event, you will not incur any fees as a result of such reimbursement.
We may withhold reimbursement until we have received the goods back, or you have supplied evidence of having sent back the goods, whichever is the earliest.
You shall send back the goods or hand them over to CampusBear, Coppell, Texas, U.S.A., without undue delay and in any event not later than 14 days from the day on which you communicate your withdrawal from this contract to us. The deadline is met if you send back the goods before the period of 14 days has expired. You will have to bear the direct cost of returning the goods. You are only liable for any diminished value of the goods resulting from the handling other than what is necessary to establish the nature, characteristics and functioning of the goods.
Exceptions to the right of withdrawal
The right of withdrawal does not apply to:
- The delivery of newspapers, journals or magazines with the exception of subscription contracts; and
- The supply of digital content which is not supplied on a tangible medium (e.g. on a CD or DVD) if you accepted when you placed your order that we could start to deliver it, and that you could not withdraw once delivery had started.