IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 /
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 circuit...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1991.
|
| Series: | Workshops in computing.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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 1960's and 70's, Landin, Burge and others showed us how to apply higher order techniques and laid practical foundations for modern functional programming. The advantage of higher order techniques is clear: 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 hard- liners. This volume will be of interest to readers who wish to gain a broad view of the subject, as well as to specialists in specific subtopics. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (x, 285 pages 65 illustrations) |
| ISBN: | 9781447131823 (electronic bk.) 1447131827 (electronic bk.) |
| ISSN: | 1431-1682 |