.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
IV Higher Order Workshop, Banff 1990
N/A
€ 67.60
FREE Delivery in Ireland
Description for IV Higher Order Workshop, Banff 1990
Paperback. This volume contains the papers presented at a workshop held at Banff, Canada, 10-14 September 1990, which gathered together researchers interested in the application of higher order techniques. Series: Workshops in Computing. Num Pages: 285 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 16. Weight in Grams: 555.
It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current research topics range from the design, implementation and use of higher order proof assistants and theorem provers, through program specification and verification, and programming language design, to its applications in hardware description and verification. The papers in this book represent the presentations made at a workshop held at Banff, Canada, September ... Read more
It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current research topics range from the design, implementation and use of higher order proof assistants and theorem provers, through program specification and verification, and programming language design, to its applications in hardware description and verification. The papers in this book represent the presentations made at a workshop held at Banff, Canada, September ... Read more
Product Details
Format
Paperback
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
285
Condition
New
Series
Workshops in Computing
Number of Pages
285
Place of Publication
Berlin, Germany
ISBN
9783540196600
SKU
V9783540196600
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for IV Higher Order Workshop, Banff 1990