{"product_id":"implicit-self-adjusting-computation-for-purely-functional-programs","title":"Implicit Self-Adjusting Computation for Purely Functional Programs","description":"\u003cp\u003eThis dissertation presents implicit self-adjusting computation, a type directed technique for translating purely functional programs into self-adjusting\u003cbr\u003e\nprograms. In this implicit approach, the programmer annotates the (top-level) input types of the programs to be translated. Type inference finds all other types, and a type-directed translation rewrites the source program\u003cbr\u003e\ninto an explicitly self-adjusting target program. The type system is related to information-flow type systems and enjoys decidable type inference via constraint solving. We prove that the translation outputs well-typed self-adjusting\u003cbr\u003e\nprograms and preserves the source programÕs input-output behavior, guaranteeing that translated programs respond correctly to all changes to their data. Using a cost semantics, we also prove that the translation preserves the\u003cbr\u003e\nasymptotic complexity of the source program.\u003c\/p\u003e","brand":"Yan Chen","offers":[{"title":"Paperback","offer_id":44348125577377,"sku":"9781111141033","price":26.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/1wrm6zzp-front-shortedge-384_cc976f26-4e50-469b-b223-2923d1cc77f9.jpg?v=1748489393","url":"https:\/\/bookswholesale.myshopify.com\/products\/implicit-self-adjusting-computation-for-purely-functional-programs","provider":"BooksWholesale","version":"1.0","type":"link"}