Carsten holst (8 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,36
EUR 14,05 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13-15 August 1990, Ullapool, Scotland (Workshops in Computing)
Peyton Jones, Simon L. (Editor) / Hutton, Graham (Editor) / Kehler Holst, Carsten (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,67
EUR 14,66 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 296 pages. 9.61x6.69x0.67 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,10
EUR 14,66 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. reprint edition. 376 pages. 9.50x6.60x0.85 inches. In Stock.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 100,34
EUR 14,05 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 64,08
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Lifetime Analysis.- Compiling Laziness by Partial Evaluation.- Strictness Analysis in 4D.- An Algorithmic and Semantic Approach to Debugging.- Abstract Interpretation of Term Graph Rewriting Systems.- Compile-Time Garbage Collection by Necessity Analysis.- .
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,22 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days. Everyone speaks briefly,… enhancing coherence, cross fertilisation, and camaraderie in our work. The proceedings of the first workshop were published as a technical report. Demand for this was large enough to encourage wider publication, and subsequent proceedings have been published in the Springer-Verlag Workshops in Computing series. These are the proceedings of the-meeting held 12-14 August 1991, in Portree on the Isle of Skye. A preliminary proceedings was prepared in advance of the meeting. Most presentations were limited to a brief fifteen minutes, outlining the essentials of their subject, and referring the audience to the pre-print proceedings for details. Papers were then refereed and rewritten, and you hold the final results in your hands. A number of themes emerged at this year's workshop, including relational algebra and its application to hardware design, partial evaluation and program transformation, implementation techniques, and strictness analysis. We were especially pleased to see applications of functional programming emerge as a theme. One of the sessions was devoted to a lively discussion of applications, and was greatly enhanced by our industrial participants. The workshop was organised by Kei Davis, Cordelia Hall, Rogardt Heldal, Carsten Kehler Holst, John Hughes, John O'Donnell, and Satnam Singh all from the University of Glasgow.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 54,00
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Automated Flank Wear Segmentation and Measurement with Deep Learning Image Processing | Carsten Holst | Taschenbuch | Englisch | 2025 | Apprimus Verlag | EAN 9783985552610 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbiet…er: preigu.
Sprache: Englisch
Verlag: Springer, Berlin, Springer London, Springer, 1991
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,32
EUR 62,57 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Neuware - The Third Glasgow Workshop on Functional Programming was held in Ullapool, Scotland, 13-15th August 1990. Members of the functional programming groups at Glasgow and Stirling University attended the workshop together with a small number of invited participants from other universities and indu…stry. The workshop was organised by Kei Davis, Jak Deschner, Kevin Hammond, Carsten Kehler Holst, John Hughes, Graham Hutton, and John Launchbury, all from Glasgow University. We are very grateful for the support of our industrial sponsors: British Telecom, Hewlett Packard, ICL and Software AG. Their financial help made the workshop possible. Thanks to Samson Abramsky, Tony Field, and Paul Kelly, all from Imperial College, for their help in refereeing many of the papers. Glasgow University The Programme Committee: December 1990 Simon Peyton Jones (chairman) Chris Hankin Carsten Kehler Holst John Hughes Graham Hutton Philip Wadler Contents Lifetime Analysis Guy Argo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Compiling Laziness by Partial Evaluation Anders Bondorf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 Strictness Analysis in 4D Kei Davis and Philip Wadler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 An Algorithmic and Semantic Approach to Debugging Cordelia Hall, Kevin Hammond and John O'Donnell . . . . . . . . . . . . . . . . . . . . 44 Abstract Interpretation of Term Graph Rewriting Systems Chris Hankin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 Compile-Time Garbage Collection by Necessity Analysis Geoff W Hamilton and Simon B. Jones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 Improving Full Laziness Carsten Kehler Holst . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 Towards Binding-Time Improvement for Free Carsen Kehler Holst and John Hughes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 Towards Relating Forwards and Backwards Analyses John Hughes and John Launchbury . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 PERs Generalise Projections for Strictness Analysis Sebastian Hunt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 Functional Programming with Relations Graham Hutton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
