Trends in functional programming, Volume 4:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Bristol, UK
Intellect
2005
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Selection of papers presented at the 4th International Symposium on Trends in Functional Programming held in Edinburgh, on September 11 and 12, 2003. - Title from title screen (viewed Dec. 20, 2004) 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 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 |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 1280477024 1841509159 9781280477027 9781841509150 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043122931 | ||
| 003 | DE-604 | ||
| 005 | 20230111 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2005 |||| o||u| ||||||eng d | ||
| 020 | |a 1280477024 |9 1-280-47702-4 | ||
| 020 | |a 1841509159 |9 1-84150-915-9 | ||
| 020 | |a 9781280477027 |9 978-1-280-47702-7 | ||
| 020 | |a 9781841509150 |9 978-1-84150-915-0 | ||
| 035 | |a (OCoLC)57301273 | ||
| 035 | |a (DE-599)BVBBV043122931 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.114 |2 22 | |
| 245 | 1 | 0 | |a Trends in functional programming, Volume 4 |c edited by Stephen Gilmore |
| 264 | 1 | |a Bristol, UK |b Intellect |c 2005 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 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. - Title from title screen (viewed Dec. 20, 2004) | ||
| 500 | |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 | ||
| 500 | |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 -- | ||
| 500 | |a - 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 -- | ||
| 500 | |a - 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 -- | ||
| 500 | |a - 7.4.2 Communication Interface of the Analysis Compon | ||
| 650 | 4 | |a Functional programming (Computer science) | |
| 650 | 7 | |a COMPUTERS / Programming / Open Source |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / General |2 bisacsh | |
| 650 | 7 | |a Functional programming (Computer science) |2 fast | |
| 650 | 4 | |a Functional programming (Computer science) |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Gilmore, Stephen |d 1962- |e Sonstige |0 (DE-588)1277790000 |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=124481 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028547122 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=124481 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=124481 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175554067300352 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)1277790000 |
| building | Verbundindex |
| bvnumber | BV043122931 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)57301273 (DE-599)BVBBV043122931 |
| dewey-full | 005.114 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.114 |
| dewey-search | 005.114 |
| dewey-sort | 15.114 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05421nmm a2200517zc 4500</leader><controlfield tag="001">BV043122931</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230111 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2005 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280477024</subfield><subfield code="9">1-280-47702-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1841509159</subfield><subfield code="9">1-84150-915-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280477027</subfield><subfield code="9">978-1-280-47702-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781841509150</subfield><subfield code="9">978-1-84150-915-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)57301273</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043122931</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.114</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Trends in functional programming, Volume 4</subfield><subfield code="c">edited by Stephen Gilmore</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bristol, UK</subfield><subfield code="b">Intellect</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Selection of papers presented at the 4th International Symposium on Trends in Functional Programming held in Edinburgh, on September 11 and 12, 2003. - Title from title screen (viewed Dec. 20, 2004)</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="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 -- </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a"> - 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 -- </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a"> - 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 -- </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a"> - 7.4.2 Communication Interface of the Analysis Compon</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Programming / Open Source</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / Tools</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Functional programming (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gilmore, Stephen</subfield><subfield code="d">1962-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1277790000</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=124481</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028547122</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=124481</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=124481</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043122931 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:18:08Z |
| institution | BVB |
| isbn | 1280477024 1841509159 9781280477027 9781841509150 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028547122 |
| oclc_num | 57301273 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Intellect |
| record_format | marc |
| spelling | Trends in functional programming, Volume 4 edited by Stephen Gilmore Bristol, UK Intellect 2005 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Selection of papers presented at the 4th International Symposium on Trends in Functional Programming held in Edinburgh, on September 11 and 12, 2003. - Title from title screen (viewed Dec. 20, 2004) 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 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 Functional programming (Computer science) COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Functional programming (Computer science) fast Functional programming (Computer science) Congresses (DE-588)1071861417 Konferenzschrift gnd-content Gilmore, Stephen 1962- Sonstige (DE-588)1277790000 oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=124481 Aggregator Volltext |
| spellingShingle | Trends in functional programming, Volume 4 Functional programming (Computer science) COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Functional programming (Computer science) fast Functional programming (Computer science) Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Trends in functional programming, Volume 4 |
| title_auth | Trends in functional programming, Volume 4 |
| title_exact_search | Trends in functional programming, Volume 4 |
| title_full | Trends in functional programming, Volume 4 edited by Stephen Gilmore |
| title_fullStr | Trends in functional programming, Volume 4 edited by Stephen Gilmore |
| title_full_unstemmed | Trends in functional programming, Volume 4 edited by Stephen Gilmore |
| title_short | Trends in functional programming, Volume 4 |
| title_sort | trends in functional programming volume 4 |
| topic | Functional programming (Computer science) COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Functional programming (Computer science) fast Functional programming (Computer science) Congresses |
| topic_facet | Functional programming (Computer science) COMPUTERS / Programming / Open Source COMPUTERS / Software Development & Engineering / Tools COMPUTERS / Software Development & Engineering / General Functional programming (Computer science) Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=124481 |
| work_keys_str_mv | AT gilmorestephen trendsinfunctionalprogrammingvolume4 |