1180 search results - page 82 / 236 » Total Functional Software Engineering - Overview Paper |
IUI
2003
ACM
15 years 5 months ago
2003
ACM
This paper describes a drawing system that incorporates two novel interaction techniques based on analogies to physical tools. Power tools add limited autonomy in the form of rota...
96
Voted
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
110
Voted
AC
2000
Springer
15 years 5 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
104
Voted
EUROMICRO
1998
IEEE
15 years 4 months ago
1998
IEEE
The main function of a continuous media server is to concurrently stream data from storage to multiple clients over a network. The resulting streams will congest the host CPU bus,...
69
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...