Cargando…
Trends in functional programming. Volume 4 /
This book collects the latest research developments in the use of functional programming languages. The contents highlight major research goals and engineering concerns in the subject.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Bristol, UK ; Portland, OR, USA :
Intellect,
2005.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | JSTOR_ocm57301273 | ||
| 003 | OCoLC | ||
| 005 | 20231005004200.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 041220s2005 enk o 100 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCQ |d OCLCG |d OCLCQ |d IDEBK |d OCLCQ |d MHW |d OCLCQ |d OCLCO |d ADU |d E7B |d DKDLA |d FVL |d OCLCQ |d DEBSZ |d OCLCF |d OCLCO |d OCLCQ |d OCL |d OCLCO |d OCLCQ |d AZK |d JBG |d LOA |d COCUF |d CNNOR |d MOR |d PIFBR |d OCLCQ |d SAV |d OCLCQ |d U3W |d BRL |d STF |d WRM |d VTS |d HQD |d NRAMU |d NLE |d INT |d OCLCQ |d UKMGB |d A6Q |d AGLDB |d OCLCQ |d G3B |d OCLCO |d OCLCQ |d JSTOR |d OCLCO | ||
| 015 | |a GBB740697 |2 bnb | ||
| 015 | |a GBC373238 |2 bnb | ||
| 016 | 7 | |a 017813844 |2 Uk | |
| 016 | 7 | |a 021009785 |2 Uk | |
| 019 | |a 149297148 |a 475491721 |a 475685268 |a 614608382 |a 646724371 |a 722318117 |a 728021031 |a 744968163 |a 824549682 |a 888734649 |a 961633425 |a 962590829 |a 966144883 |a 988477472 |a 992025531 |a 1037447991 |a 1038616828 |a 1045479727 |a 1076304420 | ||
| 020 | |a 1841509159 |q (electronic bk.) | ||
| 020 | |a 9781841509150 |q (electronic bk.) | ||
| 020 | |a 1280477024 | ||
| 020 | |a 9781280477027 | ||
| 029 | 1 | |a AU@ |b 000044591404 | |
| 029 | 1 | |a AU@ |b 000053245205 | |
| 029 | 1 | |a DEBBG |b BV043122931 | |
| 029 | 1 | |a DEBSZ |b 396104096 | |
| 029 | 1 | |a DEBSZ |b 422343013 | |
| 029 | 1 | |a NZ1 |b 12018880 | |
| 029 | 1 | |a UKMGB |b 017813844 | |
| 029 | 1 | |a UKMGB |b 021009785 | |
| 035 | |a (OCoLC)57301273 |z (OCoLC)149297148 |z (OCoLC)475491721 |z (OCoLC)475685268 |z (OCoLC)614608382 |z (OCoLC)646724371 |z (OCoLC)722318117 |z (OCoLC)728021031 |z (OCoLC)744968163 |z (OCoLC)824549682 |z (OCoLC)888734649 |z (OCoLC)961633425 |z (OCoLC)962590829 |z (OCoLC)966144883 |z (OCoLC)988477472 |z (OCoLC)992025531 |z (OCoLC)1037447991 |z (OCoLC)1038616828 |z (OCoLC)1045479727 |z (OCoLC)1076304420 | ||
| 037 | |a 31809781841509150 |b Ingram Content Group | ||
| 037 | |a 22573/ctv36whq05 |b JSTOR | ||
| 050 | 4 | |a QA76.62 |b .T74 2005eb | |
| 072 | 7 | |a COM |x 051390 |2 bisacsh | |
| 072 | 7 | |a COM |x 051440 |2 bisacsh | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 072 | 7 | |a K |2 bicssc | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 072 | 7 | |a COM |x 051000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.114 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Trends in functional programming. |n Volume 4 / |c edited by Stephen Gilmore. |
| 260 | |a Bristol, UK ; |a Portland, OR, USA : |b Intellect, |c 2005. | ||
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 500 | |a Selection of papers presented at the 4th International Symposium on Trends in Functional Programming held in Edinburgh, on September 11 and 12, 2003. | ||
| 500 | |a Title from title screen (viewed December 20, 2004). | ||
| 520 | |a This book collects the latest research developments in the use of functional programming languages. The contents highlight major research goals and engineering concerns in the subject. | ||
| 505 | 0 | |a Cover -- Preliminary Pages -- Contents -- Preface -- Chapter 1 Is It Time for Real-Time Functional Programming? -- 1.1 INTRODUCTION -- 1.2 WHAT IS REAL-TIME PROGRAMMING? -- 1.2.1 The Importance of Real-Time Systems -- 1.2.2 Essential Properties of Real-Time Languages -- 1.3 LANGUAGES FOR PROGRAMMING REAL-TIME SYSTEMS -- 1.3.1 Using General Purpose Languages for Real-Time Programming -- 1.3.2 Domain-Specific Languages for Real-Time Programming -- 1.3.3 Functional Language Approaches -- 1.4 BOUNDING TIME AND SPACE USAGE -- 1.4.1 Real-Time Dynamic Memory Management -- 1.4.2 Static Analyses for Bounding Memory Usage -- 1.4.3 Worst Case Execution Time Analysis -- 1.4.4 Syntactically Restricted Functional Languages -- 1.5 FUNCTIONAL LANGUAGES FOR RELATED PROBLEM AREAS -- 1.6 THE HUME LANGUAGE -- 1.6.1 Real Time and Space Behaviour of FSM-Hume Programs -- 1.7 THE CHALLENGES -- 1.8 CONCLUSION -- Chapter 2 FSM-Hume is Finite State -- 2.1 INTRODUCTION -- 2.2 SINGLE BOX FSM-HUME PROGRAMS ARE FINITE STATE -- 2.3 MULTI-BOX FSM-HUME PROGRAMS ARE FINITE STATE -- 2.4 EXAMPLE: VEHICLE SIMULATION -- 2.4.1 Single-box FSM-Hume -- 2.5 CONCLUSION -- Chapter 3 Camelot and Grail: Resource-Aware Functional Programming for the JVM -- 3.1 INTRODUCTION -- 3.2 CAMELOT -- 3.2.1 Basic Features of Camelot -- 3.2.2 Diamonds and Resource Control -- 3.3 GRAIL -- 3.3.1 The Grail Type System -- 3.3.2 Compilation of Grail -- 3.4 COMPILING CAMELOT TO GRAIL -- 3.4.1 Representing Data -- 3.4.2 Compilation of Programs -- 3.4.3 Initial Transformations -- 3.4.4 Compilation of Expressions -- 3.5 PERFORMANCE -- 3.6 FINAL REMARKS -- Chapter 4 O'Camelot: Adding Objects to a Resource-Aware Functional Language -- 4.1 INTRODUCTION -- 4.2 CAMELOT -- 4.3 EXTENSIONS -- 4.4 TYPING -- 4.5 TRANSLATION -- 4.6 OBJECTS AND RESOURCE TYPES -- 4.7 RELATEDWORK -- 4.8 CONCLUSION -- Chapter 5 Static Single Information from a Functional Perspective -- 5.1 INTRODUCTION -- 5.2 RELATEDWORK -- 5.3 STATIC SINGLE INFORMATION -- 5.4 TRANSFORMATION -- 5.5 OPTIMISTIC VERSUS PESSIMISTIC -- 5.6 CONVERTING FUNCTIONAL PROGRAMS BACK TO SSI -- 5.7 MOTIVATION -- 5.8 CONCLUSIONS -- Chapter 6 Implementing Mobile Haskell -- 6.1 INTRODUCTION -- 6.2 MOBILE HASKELL -- 6.2.1 Communication Primitives -- 6.2.2 Discovering Resources -- 6.2.3 Remote Thread Creation -- 6.2.4 A Simple Example -- 6.3 IMPLEMENTATION DESIGN -- 6.3.1 Introduction -- 6.3.2 Evaluating Expressions before Communication -- 6.3.3 Sharing Properties -- 6.3.4 MChannels -- 6.4 THE IMPLEMENTATION -- 6.4.1 Packing Routines -- 6.4.2 Communicating User Defined Types -- 6.4.3 Evaluating Expressions -- 6.4.4 Implementation of MChannels -- 6.5 INITIAL EVALUATION -- 6.6 RELATED WORK -- 6.7 CONCLUSIONS AND FUTUREWORK -- Chapter 7 Testing Scheme Programming Assignments Automatically -- 7.1 INTRODUCTION -- 7.2 WebAssign AND AT(x) -- 7.3 A SAMPLE SESSION -- 7.4 STRUCTURE OF THE AT(x) FRAMEWORK -- 7.4.1 Components of the AT(x) System -- 7.4.2 Communication Interface of the Analysis Compon. | |
| 590 | |a JSTOR |b Books at JSTOR All Purchased | ||
| 590 | |a JSTOR |b Books at JSTOR Demand Driven Acquisitions (DDA) | ||
| 650 | 0 | |a Functional programming (Computer science) |v Congresses. | |
| 650 | 6 | |a Programmation fonctionnelle |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Programming |x Open Source. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / General |2 bisacsh | |
| 650 | 7 | |a Functional programming (Computer science) |2 fast | |
| 653 | |a Andre fag (naturvidenskab og teknik) |a Andre fag | ||
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Gilmore, Stephen, |d 1962- | |
| 856 | 4 | 0 | |u https://jstor.uam.elogim.com/stable/10.2307/j.ctv36xvxxx |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10069607 | ||
| 938 | |a EBSCOhost |b EBSC |n 124481 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 47702 | ||
| 938 | |a YBP Library Services |b YANK |n 2360814 | ||
| 994 | |a 92 |b IZTAP | ||