0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R500 - R1,000 (1)
  • R1,000 - R2,500 (3)
  • -
Status
Brand

Showing 1 - 4 of 4 matches in All Departments

Theory and Formal Methods 1993 - Proceedings of the First Imperial College Department of Computing Workshop on Theory and... Theory and Formal Methods 1993 - Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 (Paperback, Softcover reprint of the original 1st ed. 1993)
Geoffrey Burn, Simon Gay, Mark Ryan
R1,581 Discovery Miles 15 810 Ships in 10 - 15 working days

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The papers fall into four broad areas: * semantics * concurrency * logic * specification with some papers spanning a number of disciplines. The subject material varies from work on mathematical foundations to practical applications of this theory, expressing the Section's commitment to both the foundations of computer science, and the application of theory to real computing problems. In preparing the workshop and these proceedings, care was taken to ensure that there were papers overviewing a field, as well as ones whose primary aim was to present new scientifIc results. This had a dual purpose: to bring our Section members up to speed in some of the areas being worked on by the Section; and to provide the reader of the proceedings not only with a good introduction to many of the specifIc areas being investigated by the Section, but also with details of some of our latest results. All the papers presented at the workshop were revised following comments made by the workshop participants, and all were subsequently reviewed by at least two people before producing the fInal versions contained in this volume.

Liberating the Will of Australia (Paperback): Geoffrey Burn Liberating the Will of Australia (Paperback)
Geoffrey Burn
R777 R637 Discovery Miles 6 370 Save R140 (18%) Ships in 10 - 15 working days
Liberating the Will of Australia (Hardcover): Geoffrey Burn Liberating the Will of Australia (Hardcover)
Geoffrey Burn
R1,331 R1,048 Discovery Miles 10 480 Save R283 (21%) Ships in 10 - 15 working days
Lazy Functional Languages - Abstract Interpretation and Compilation (Paperback, New edition): Geoffrey Burn Lazy Functional Languages - Abstract Interpretation and Compilation (Paperback, New edition)
Geoffrey Burn
R1,303 Discovery Miles 13 030 Ships in 10 - 15 working days

The class of programming languages commonly known as functional includes Lisp, Scheme, ML, and Miranda TM. This book explores a subclass known as lazy functional languages, beginning with the theoretical issues and continuing through abstract interpretation and offering improved techniques for implementation.Now that advanced compiler technology has made it possible for lazy functional languages to compare favorably in run-time with more traditional languages such as C and Pascal, this monograph tackles problems of implementation such as time and memory overheads and restrictions on parallelism. Specifically, it describes a more efficient implementation model, the evaluation transformer model, that can be used when information is known about how functions use their arguments, develops a semantically sound analysis technique called abstract interpretation, which can determine this information, and shows how to use the information to compile more efficient code for sequential and parallel machines.Geoffrey Burn is Lecturer at Imperial College of Science, Technology, and Medicine, London.Contents: Introduction. Operational and Denotational Semantics of the Typed Lambda Calculus. A Framework for the Abstract Interpretation of Functional Languages. Some Example Abstract Interpretations. Evaluation Transformers. Implementing Functional Languages on Sequential and Parallel Machines. Relationship to Other Work. Epilogue. Appendixes: Additional Proofs. The Spineless G-Machine.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
First Aid Dressing No 3
R5 Discovery Miles 50
Angelcare Dress Up Nappy Bin (White)
R553 R429 Discovery Miles 4 290
Non-Stick Kitchen Cookware Set
R699 R649 Discovery Miles 6 490
Nuovo All-In-One Car Seat (Black)
R3,599 R3,020 Discovery Miles 30 200
Professor Snape Wizard Wand - In…
 (8)
R832 Discovery Miles 8 320
Moon Bag [Black]
R57 Discovery Miles 570
Tommee Tippee - Explora Feeding Bowl…
R155 R139 Discovery Miles 1 390
Sellotac Reusable Sticky Tack (100g)
 (1)
R15 Discovery Miles 150
JCB Glide Carbon Toe Safety Shoe (Black)
R1,739 Discovery Miles 17 390
Fine Living E-Table (Black | White)
 (7)
R319 R199 Discovery Miles 1 990

 

Partners