Trends In Functional Programming

Stephen Gilmore is a Senior Lecturer in the Laboratory for Foundations of Computer Science at The University of Edinburgh.

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

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

FREE SHIPPING

Rent More, Save More! Use code: BBRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

Trends In Functional Programming

Author Biography

Table of Contents

Supplemental Materials