| 書目名稱 | IV Higher Order Workshop, Banff 1990 | | 副標(biāo)題 | Proceedings of the I | | 編輯 | Graham Birtwistle | | 視頻video | http://file.papertrans.cn/461/460659/460659.mp4 | | 叢書名稱 | Workshops in Computing | | 圖書封面 |  | | 描述 | 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 10-14 1990 and organised by the Computer Science Department of the University of Calgary. The workshop gathered together researchers interested in applying higher order techniques to a range of problems. The workshop format had a few (but fairly long) presentations per day. This left ample time for healthy discussion and argument, many of which continued on into the small hours. With so much to choose from, the program had to be selective. This year‘s workshop was divided into five parts: 1. Expressing and reasoning about concurrency | | 出版日期 | Conference proceedings 1991 | | 關(guān)鍵詞 | Higher order techniques; Ruby; Softwareentwicklung; communication; concurrency; development; formal method | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-3182-3 | | isbn_softcover | 978-3-540-19660-0 | | isbn_ebook | 978-1-4471-3182-3Series ISSN 1431-1682 | | issn_series | 1431-1682 | | copyright | British Computer Society 1991 |
The information of publication is updating
書目名稱IV Higher Order Workshop, Banff 1990影響因子(影響力) 
書目名稱IV Higher Order Workshop, Banff 1990影響因子(影響力)學(xué)科排名 
書目名稱IV Higher Order Workshop, Banff 1990網(wǎng)絡(luò)公開度 
書目名稱IV Higher Order Workshop, Banff 1990網(wǎng)絡(luò)公開度學(xué)科排名 
書目名稱IV Higher Order Workshop, Banff 1990被引頻次 
書目名稱IV Higher Order Workshop, Banff 1990被引頻次學(xué)科排名 
書目名稱IV Higher Order Workshop, Banff 1990年度引用 
書目名稱IV Higher Order Workshop, Banff 1990年度引用學(xué)科排名 
書目名稱IV Higher Order Workshop, Banff 1990讀者反饋 
書目名稱IV Higher Order Workshop, Banff 1990讀者反饋學(xué)科排名 
|
|
|