eBook: Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 (
 
電子書格式: DRM PDF
作者: Kevin Hammond, David N. Turner, Patrick M. Sansom 
系列: Workshops in Computing
分類: Functional programming ,
Mathematical theory of computation ,
Parallel processing  
書城編號: 21129912


售價: $1164.00

購買後立即進貨, 約需 1-4 天

 
 
製造商: Springer London
出版日期: 2013/03/09
ISBN: 9781447135739
 
>> 相關實體書

商品簡介
This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and to provide a platform for research students to develop their presentation skills. As in previous years, we spent three days closeted together in a pleasant seaside town, isolated from normal work commitments. We were joined by colleagues from other universities (both UK and abroad) and from industry. Workshop participants presented a short talk about their current research work, and produced a paper which appeared in a draft proceedings. These papers were then reviewed and revised in the light of discussions at the workshop and the referees' comments. A selection of those revised papers (the majority of those presented at the workshop) appears here in the published proceedings. The papers themselves cover a wide span, from theoretical work on algebras and bisimilarity to experience with a real-world medical applica- tion. Unsurprisingly, given Glasgow's track record, there is a strong emphasis on compilation techniques and optimisations, and there are also several papers on concurrency and parallelism.
Workshops in Computing

eBook: Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-

eBook: Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford (DRM PDF)

eBook: Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990 (DRM PDF)

eBook: First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 (D

eBook: Interfaces to Database Systems (IDS94): Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster Universit

eBook: Specification and Verification of Concurrent Systems (DRM PDF)

eBook: Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Comput

eBook: 7th UK Computer and Telecommunications Performance Engineering Workshop: Edinburgh, 22-23 July 1991 (DRM PDF)

eBook: ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 (DRM PDF)

eBook: Object Orientation in Z (DRM PDF)

eBook: Women into Computing: Selected Papers 1988-1990 (DRM PDF)

eBook: Neural Computation and Psychology: Proceedings of the 3rd Neural Computation and Psychology Workshop (NCPW3), Stirling, Scotland, 31 August - 2

eBook: Security for Object-Oriented Systems: Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, Washington DC,

eBook: Database Programming Languages (DBPL-4): Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and

eBook: East/West Database Workshop: Proceedings of the Second International East/West Database Workshop, Klagenfurt, Austria, 25-28 September 1994 (DR

eBook: Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, Uni

eBook: Asynchronous Digital Circuit Design (DRM PDF)

eBook: 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 (DRM PDF)

eBook: Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13-15 August 1990, Ullapool, Scotland

eBook: Software Re-use, Utrecht 1989: Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands (DRM PDF)

... [顯示此系列所有商品]

* 以上資料僅供參考之用, 香港書城並不保證以上資料的準確性及完整性。
* 如送貨地址在香港以外, 當書籍/產品入口時, 顧客須自行繳付入口關稅和其他入口銷售稅項。

 

 

 

  我的賬戶 |  購物車 |  出版社 |  團購優惠
加入供應商 |  廣告刊登 |  公司簡介 |  條款及細則

香港書城 版權所有 私隱政策聲明

顯示模式: 電腦版 (改為: 手機版)