ICFP
2007
ACM
13 years 8 months ago
2007
ACM
ICFP
2007
ACM
13 years 8 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
ICFP
2007
ACM
13 years 8 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
Over the past year Untyped has developed some 40'000 lines of Scheme code for a variety of web-based applications, which receive over 10'000 hits a day. This is, to our ...
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...