Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 15 - Jul 20
Promo Codes Available:
For Your Every Summer RSVP, with Code: SUMMER15
Description
Implicit Self-Adjusting Computation for Purely Functional ProgramsThis dissertation presents implicit self adjusting computation, a type directed technique for translating purely functional programs into self adjusting programs. 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 into an explicitly self adjusting target program. The type system is related to
This dissertation presents implicit self-adjusting computation, a type directed technique for translating purely functional programs into self-adjusting
programs. 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
into 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
programs 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
asymptotic complexity of the source program.
Shipping Notes
- Free Standard Shipping on $100+ Orders to the USA.
- Except Preorder products are shipped in 48 hours.
- Delivery to the USA:
- Standard Shipping : 3-10 business days
- If time is of the essence, please consider selecting expedited delivery for faster service.
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy