This volume contains the papers presented at a workshop held at Banff, Canada, 10-14 September 1990, which gathered together researchers interested in applying higher order techniques to: reasoning about concurrency; specifying and reasoning about synchronous circuits (specifically butterfly circuits); reasoning about delay insensitive circuits; categorical concepts for programming languages and; support for automated reasoning. In the 1960s and 1970s, Landin, Burge and others demonstrated the application of higher order ...
Read More
This volume contains the papers presented at a workshop held at Banff, Canada, 10-14 September 1990, which gathered together researchers interested in applying higher order techniques to: reasoning about concurrency; specifying and reasoning about synchronous circuits (specifically butterfly circuits); reasoning about delay insensitive circuits; categorical concepts for programming languages and; support for automated reasoning. In the 1960s and 1970s, Landin, Burge and others demonstrated the application of higher order techniques and laid practical foundations for modern functional programming. The advantage of higher order techniques is that they provide succinct and clear specifications that are easy to reason with. Over the past few years, higher order techniques have been applied successfully to a wide range of applications in software, hardware, and communications. While the papers present recent research results, they have been written so as to be accessible to non hardliners. This volume should be of interest to readers who wish to gain a broad view of the subject, as well as to specialists in specific subtopics.
Read Less
Add this copy of IV Higher Order Workshop, Banff 1990 to cart. $4.95, Sold by Zubal Books rated 4.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1991 by Springer.
Edition:
1991, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
1991
Language:
English
Alibris ID:
17758378050
Shipping Options:
Standard Shipping: $4.99
Trackable Expedited: $9.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
*Price HAS BEEN REDUCED by 10% until Monday, Nov. 3 (weekend sale item)* 283 pp., softcover, ex library, else textually clean & tight. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of IV Higher Order Workshop, Banff 1990: Proceedings of to cart. $46.41, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1991 by Springer.
Edition:
1991, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of IV Higher Order Workshop, Banff 1990: Proceedings of to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1991 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
1991, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of IV Higher Order Workshop, Banff 1990: Proceedings of to cart. $70.95, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1991 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
1991, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
