Ancien livre de biblioth�que. Petite(s) trace(s) de pliure sur la couverture. Edition 1986. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slightly creased cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.

Seller Inventory # D-485-982

Contact seller

Report this item

Bibliographic Details

Title: Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Publisher: Springer
Publication Date: 1986
Language: English
ISBN 10: 3540164464
ISBN 13: 9783540164463
Binding: Softcover
Condition: Tr�s bon

About this title

Synopsis

Strictness analysis and polymorphic invariance.- Convergent term rewriting systems can be used for program transformation.- The theory of strictness analysis for higher order functions.- Recognition of generative languages.- Modular first-order specifications of operational semantics.- Logic specification of code generation techniques.- Strictness detection in non-flat domains.- Strictness computation using special ?-expressions.- A relational framework for abstract interpretation.- Expected forms of data flow analyses.- Code generation from two-level denotational meta-languages.- Multilevel functions in Martin-L�f's type theory.- An implementation from a direct semantics definition.- The structure of a self-applicable partial evaluator.- Program transformation by supercompilation.- Listlessness is better than laziness Composing listless functions.- From interpreter to A representational derivation.

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

Store Description

English below. Ammareal est une librairie professionnelle sp�cialis�e dans le livre d?occasion. Nous exp�dions partout dans le monde. Nous avons plus de 250 000 ouvrages en stock dont un grand nombre de livres techniques et acad�miques. Nous reversons jusqu?� 15% du prix de vente de chaque livre � des organisations caritatives, des biblioth�ques et des associations luttant contre l?illettrisme. Ce que nous ne vendons pas nous le donnons, ce que nous ne donnons pas nous le recyclons. Ammareal is a professional bookseller speciliazed in used books. We ship worldwide. We have more than 250 000 books in stock, including a large number of technical and university-level books. We give back up to 15% of the price of each book to charities, libraries and organizations fighting in favor of literacy. What we do not sell, we give, what we do not give we recycle.

Visit Seller's Storefront

Seller's business information

SAS AMMAREAL
4 AV ARGAO, MORANGIS, 91420, France

Sale & Shipping Terms

Terms of Sale

Shipping Terms

Shipping rates from France to U.S.A.

Shipping rates from France to U.S.A.
Order quantity	5 to 7 business days	5 to 7 business days
First item	US$ 23.83	US$ 23.83

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.