Muutke küpsiste eelistusi

Trends in Functional Programming Volume 4 [Pehme köide]

Edited by
  • Formaat: Paperback / softback, 200 pages
  • Sari: Trends in Functional Programming
  • Ilmumisaeg: 05-Jan-2013
  • Kirjastus: Intellect Books
  • ISBN-10: 1841501220
  • ISBN-13: 9781841501222
Teised raamatud teemal:
Trends in Functional Programming Volume 4Suurem pilt
  • Formaat: Paperback / softback, 200 pages
  • Sari: Trends in Functional Programming
  • Ilmumisaeg: 05-Jan-2013
  • Kirjastus: Intellect Books
  • ISBN-10: 1841501220
  • ISBN-13: 9781841501222
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9781841501222.html
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 including:









real-time and research-bounded functional programming connections between static analysis methods and functional programming implementation of mobile code functional languages automated testing of application programs and system models



These research contributions are drawn from the international symposium on Trends in Functional Programming.





This meeting provides a vital forum for the dissemination of the latest technical advances in the field.
Is It Time for Real-Time Functional Programming?
1(18)
Introduction
1(1)
What is Real-Time Programming?
2(1)
The Importance of Real-Time Systems
2(1)
Essential Properties of Real-Time Languages
2(1)
Languages for Programming Real-Time Systems
3(4)
Using General Purpose Languages for Real-Time Programming
3(1)
Domain-Specific Languages for Real-Time Programming
4(1)
Functional Language Approaches
5(2)
Bounding Time and Space Usage
7(2)
Real-Time Dynamic Memory Management
7(1)
Static Analyses for Bounding Memory Usage
7(1)
Worst Case Execution Time Analysis
8(1)
Syntactically Restricted Functional Languages
9(1)
Functional Languages for Related Problem Areas
9(1)
The Hume Language
10(3)
Real Time and Space Behaviour of FSM-Hume Programs
12(1)
The Challenges
13(1)
Conclusion
14(5)
FSM-Hume is Finite State
19(10)
Introduction
19(3)
Single Box FSM-Hume Programs are Finite State
22(1)
Multi-Box FSM-Hume Programs are Finite State
23(2)
Example: Vehicle Simulation
25(3)
Single-box FSM-Hume
26(2)
Conclusion
28(1)
Camelot and Grail: Resource-Aware Functional Programming for the JVM
29(18)
Introduction
29(1)
Camelot
30(5)
Basic Features of Camelot
31(1)
Diamonds and Resource Control
32(3)
Grail
35(3)
The Grail Type System
36(1)
Compilation of Grail
36(2)
Compiling Camelot to Grail
38(3)
Representing Data
38(1)
Compilation of Programs
39(1)
Initial Transformations
40(1)
Compilation of Expressions
41(1)
Performance
41(3)
Final Remarks
44(3)
O'Camelot: Adding Objects to a Resource-Aware Functional Language
47(16)
Introduction
47(1)
Camelot
48(1)
Extensions
49(4)
Typing
53(2)
Translation
55(2)
Objects and Resource Types
57(1)
Related Work
58(1)
Conclusion
59(4)
Static Single Information from a Functional Perspective
63(16)
Introduction
63(4)
Related Work
67(1)
Static Single Information
68(1)
Transformation
69(2)
Optimistic versus Pessimistic
71(1)
Converting Functional Programs Back to SSI
72(1)
Motivation
73(1)
Conclusions
74(5)
Implementing Mobile Haskell
79(16)
Introduction
79(2)
Mobile Haskell
81(2)
Communication Primitives
81(1)
Discovering Resources
82(1)
Remote Thread Creation
83(1)
A Simple Example
83(1)
Implementation Design
83(3)
Introduction
83(1)
Evaluating Expressions before Communication
84(1)
Sharing Properties
85(1)
MChannels
86(1)
The Implementation
86(4)
Packing Routines
86(1)
Communicating User Defined Types
87(1)
Evaluating Expressions
88(1)
Implementation of MChannels
89(1)
Initial Evaluation
90(1)
Related Work
91(1)
Conclusions and Future Work
92(3)
Testing Scheme Programming Assignments Automatically
95(16)
Introduction
95(2)
WebAssign and AT(x)
97(1)
A Sample Session
98(2)
Structure of the AT(x) Framework
100(4)
Components of the AT(x) System
100(1)
Communication Interface of the Analysis Component
101(1)
Function and Implementation of the Interface Component
101(2)
Global Security Issues
103(1)
The Core Analysis Component
104(3)
Requirements on the Analysis Components
104(2)
Analysis of Scheme Programs
106(1)
Implementation and Experiences
107(1)
Related Work
108(1)
Conclusions and Further Work
109(2)
Testing Reactive Systems with GAST
111(16)
Introduction
111(1)
Overview of GAST
112(3)
Testing and Results
113(1)
Evaluating Test Results
113(1)
Logical Operators in GAST
114(1)
Automatic Generation of Test Values
114(1)
Specifying Reactive Systems in GAST
115(6)
Labelled Transition Systems
116(1)
Example: Conference Protocol
117(1)
Executing a Deterministic LTS
118(2)
The Implementation Under Test
120(1)
Testing the Conference Protocol
120(1)
Implementations with Other Types
121(1)
Better Test Data Generation from the LTS
121(2)
Functional and Nondeterministic Specifications
123(2)
Testing Nondeterministic Systems
125(1)
Related Work
126(1)
Conclusion
127


Stephen Gilmore is a Senior Lecturer in the Laboratory for Foundations of Computer Science at The University of Edinburgh. His research interests include the definition, development and use of functional programming languages. He has previously edited the second volume in this series.