附註: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).
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 TR
摘要: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.
